Matches in SemOpenAlex for { <https://semopenalex.org/work/W3146031459> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3146031459 endingPage "47" @default.
- W3146031459 startingPage "35" @default.
- W3146031459 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.
- W3146031459 created "2021-04-13" @default.
- W3146031459 creator A5007554264 @default.
- W3146031459 date "2012-01-01" @default.
- W3146031459 modified "2023-09-27" @default.
- W3146031459 title "Annotations for Intersection Typechecking." @default.
- W3146031459 hasPublicationYear "2012" @default.
- W3146031459 type Work @default.
- W3146031459 sameAs 3146031459 @default.
- W3146031459 citedByCount "0" @default.
- W3146031459 crossrefType "journal-article" @default.
- W3146031459 hasAuthorship W3146031459A5007554264 @default.
- W3146031459 hasConcept C121332964 @default.
- W3146031459 hasConcept C127413603 @default.
- W3146031459 hasConcept C146978453 @default.
- W3146031459 hasConcept C151730666 @default.
- W3146031459 hasConcept C154945302 @default.
- W3146031459 hasConcept C197129107 @default.
- W3146031459 hasConcept C204321447 @default.
- W3146031459 hasConcept C23123220 @default.
- W3146031459 hasConcept C2776321320 @default.
- W3146031459 hasConcept C2779343474 @default.
- W3146031459 hasConcept C41008148 @default.
- W3146031459 hasConcept C61797465 @default.
- W3146031459 hasConcept C62520636 @default.
- W3146031459 hasConcept C64543145 @default.
- W3146031459 hasConcept C86803240 @default.
- W3146031459 hasConceptScore W3146031459C121332964 @default.
- W3146031459 hasConceptScore W3146031459C127413603 @default.
- W3146031459 hasConceptScore W3146031459C146978453 @default.
- W3146031459 hasConceptScore W3146031459C151730666 @default.
- W3146031459 hasConceptScore W3146031459C154945302 @default.
- W3146031459 hasConceptScore W3146031459C197129107 @default.
- W3146031459 hasConceptScore W3146031459C204321447 @default.
- W3146031459 hasConceptScore W3146031459C23123220 @default.
- W3146031459 hasConceptScore W3146031459C2776321320 @default.
- W3146031459 hasConceptScore W3146031459C2779343474 @default.
- W3146031459 hasConceptScore W3146031459C41008148 @default.
- W3146031459 hasConceptScore W3146031459C61797465 @default.
- W3146031459 hasConceptScore W3146031459C62520636 @default.
- W3146031459 hasConceptScore W3146031459C64543145 @default.
- W3146031459 hasConceptScore W3146031459C86803240 @default.
- W3146031459 hasLocation W31460314591 @default.
- W3146031459 hasOpenAccess W3146031459 @default.
- W3146031459 hasPrimaryLocation W31460314591 @default.
- W3146031459 hasRelatedWork W1480569746 @default.
- W3146031459 hasRelatedWork W1481770540 @default.
- W3146031459 hasRelatedWork W1508001600 @default.
- W3146031459 hasRelatedWork W1568444775 @default.
- W3146031459 hasRelatedWork W1968456220 @default.
- W3146031459 hasRelatedWork W2036614491 @default.
- W3146031459 hasRelatedWork W2058377260 @default.
- W3146031459 hasRelatedWork W2091347613 @default.
- W3146031459 hasRelatedWork W2104806676 @default.
- W3146031459 hasRelatedWork W2466349544 @default.
- W3146031459 hasRelatedWork W2478555051 @default.
- W3146031459 hasRelatedWork W2555814573 @default.
- W3146031459 hasRelatedWork W2892417687 @default.
- W3146031459 hasRelatedWork W3088333893 @default.
- W3146031459 hasRelatedWork W3103867791 @default.
- W3146031459 hasRelatedWork W3105735055 @default.
- W3146031459 hasRelatedWork W3116095413 @default.
- W3146031459 hasRelatedWork W3149844380 @default.
- W3146031459 hasRelatedWork W44879697 @default.
- W3146031459 hasRelatedWork W59027639 @default.
- W3146031459 isParatext "false" @default.
- W3146031459 isRetracted "false" @default.
- W3146031459 magId "3146031459" @default.
- W3146031459 workType "article" @default.