Matches in SemOpenAlex for { <https://semopenalex.org/work/W1968456220> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1968456220 endingPage "47" @default.
- W1968456220 startingPage "35" @default.
- W1968456220 abstract "In functional programming languages, the classic form of annotation is a single type constraint on a term. Intersection types add complications: a single term may have to be checked several times against different types, in different contexts, requiring annotation with several types. Moreover, it is useful (in some systems, necessary) to indicate the context in which each such type is to be used. This paper explores the technical design space of annotations in systems with intersection types. Earlier work (Dunfield and Pfenning 2004) introduced contextual typing annotations, which we now tease apart into more elementary mechanisms: a right hand annotation (the standard form), a left hand annotation (the context in which a right-hand annotation is to be used), a merge that allows for multiple annotations, and an existential binder for index variables. The most novel element is the left-hand annotation, which guards terms (and right-hand annotations) with a judgment that must follow from the current context." @default.
- W1968456220 created "2016-06-24" @default.
- W1968456220 creator A5039589808 @default.
- W1968456220 date "2013-07-30" @default.
- W1968456220 modified "2023-10-18" @default.
- W1968456220 title "Annotations for Intersection Typechecking" @default.
- W1968456220 cites W1510530859 @default.
- W1968456220 cites W1990204174 @default.
- W1968456220 cites W2005192022 @default.
- W1968456220 cites W2031793325 @default.
- W1968456220 cites W2036676170 @default.
- W1968456220 cites W2039769798 @default.
- W1968456220 cites W2075623758 @default.
- W1968456220 cites W2119240423 @default.
- W1968456220 cites W2296725671 @default.
- W1968456220 doi "https://doi.org/10.4204/eptcs.121.3" @default.
- W1968456220 hasPublicationYear "2013" @default.
- W1968456220 type Work @default.
- W1968456220 sameAs 1968456220 @default.
- W1968456220 citedByCount "0" @default.
- W1968456220 crossrefType "journal-article" @default.
- W1968456220 hasAuthorship W1968456220A5039589808 @default.
- W1968456220 hasBestOaLocation W19684562201 @default.
- W1968456220 hasConcept C121332964 @default.
- W1968456220 hasConcept C127413603 @default.
- W1968456220 hasConcept C146978453 @default.
- W1968456220 hasConcept C151730666 @default.
- W1968456220 hasConcept C154945302 @default.
- W1968456220 hasConcept C197129107 @default.
- W1968456220 hasConcept C204321447 @default.
- W1968456220 hasConcept C23123220 @default.
- W1968456220 hasConcept C2776321320 @default.
- W1968456220 hasConcept C2779343474 @default.
- W1968456220 hasConcept C41008148 @default.
- W1968456220 hasConcept C61797465 @default.
- W1968456220 hasConcept C62520636 @default.
- W1968456220 hasConcept C64543145 @default.
- W1968456220 hasConcept C86803240 @default.
- W1968456220 hasConceptScore W1968456220C121332964 @default.
- W1968456220 hasConceptScore W1968456220C127413603 @default.
- W1968456220 hasConceptScore W1968456220C146978453 @default.
- W1968456220 hasConceptScore W1968456220C151730666 @default.
- W1968456220 hasConceptScore W1968456220C154945302 @default.
- W1968456220 hasConceptScore W1968456220C197129107 @default.
- W1968456220 hasConceptScore W1968456220C204321447 @default.
- W1968456220 hasConceptScore W1968456220C23123220 @default.
- W1968456220 hasConceptScore W1968456220C2776321320 @default.
- W1968456220 hasConceptScore W1968456220C2779343474 @default.
- W1968456220 hasConceptScore W1968456220C41008148 @default.
- W1968456220 hasConceptScore W1968456220C61797465 @default.
- W1968456220 hasConceptScore W1968456220C62520636 @default.
- W1968456220 hasConceptScore W1968456220C64543145 @default.
- W1968456220 hasConceptScore W1968456220C86803240 @default.
- W1968456220 hasLocation W19684562201 @default.
- W1968456220 hasLocation W19684562202 @default.
- W1968456220 hasOpenAccess W1968456220 @default.
- W1968456220 hasPrimaryLocation W19684562201 @default.
- W1968456220 hasRelatedWork W1503459176 @default.
- W1968456220 hasRelatedWork W2038529637 @default.
- W1968456220 hasRelatedWork W2573519875 @default.
- W1968456220 hasRelatedWork W2769653058 @default.
- W1968456220 hasRelatedWork W2957013492 @default.
- W1968456220 hasRelatedWork W2997734032 @default.
- W1968456220 hasRelatedWork W2999699891 @default.
- W1968456220 hasRelatedWork W3107474891 @default.
- W1968456220 hasRelatedWork W3214915308 @default.
- W1968456220 hasRelatedWork W38394648 @default.
- W1968456220 hasVolume "121" @default.
- W1968456220 isParatext "false" @default.
- W1968456220 isRetracted "false" @default.
- W1968456220 magId "1968456220" @default.
- W1968456220 workType "article" @default.