Matches in SemOpenAlex for { <https://semopenalex.org/work/W130604681> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W130604681 abstract "Bidirectional typechecking has become popular in advanced type systems because it works in many situations where inference is undecidable. In this paper, I show how to cleanly handle parametric polymorphism in a bidirectional setting, even in the presence of subtyping. The first contribution is a bidirectional type sy stem that supports first-class (higher-rank and impredicative) poly morphism but is complete for predicative polymorphism (including ML-style polymorphism and higher-rank polymorphism). This power comes from bidirectionality combined with a “greedy” method of fin ding polymorphic instances inspired by Cardelli’s early work on System F<:. The second contribution adds subtyping; combining bidirectional typechecking with intersection and union types fortuitously yields a simple but rather powerful system. Finally, I present a more powerful algorithm that forms intersections and unions automatically. This paper demonstrates that bidirectionality is a strong foundation for traditionally vexing features like first-cl ass polymorphism and subtyping." @default.
- W130604681 created "2016-06-24" @default.
- W130604681 creator A5039589808 @default.
- W130604681 date "2009-01-01" @default.
- W130604681 modified "2023-09-27" @default.
- W130604681 title "Bidirectional polymorphism through greed and unions" @default.
- W130604681 cites W1510530859 @default.
- W130604681 cites W1522271721 @default.
- W130604681 cites W1527933453 @default.
- W130604681 cites W1575675278 @default.
- W130604681 cites W1575949168 @default.
- W130604681 cites W1595372275 @default.
- W130604681 cites W1632691573 @default.
- W130604681 cites W18232636 @default.
- W130604681 cites W1966981171 @default.
- W130604681 cites W1993209012 @default.
- W130604681 cites W1994115046 @default.
- W130604681 cites W2005192022 @default.
- W130604681 cites W2008048066 @default.
- W130604681 cites W2032220227 @default.
- W130604681 cites W2036676170 @default.
- W130604681 cites W2039769798 @default.
- W130604681 cites W2054969282 @default.
- W130604681 cites W2075623758 @default.
- W130604681 cites W2087123999 @default.
- W130604681 cites W2090046646 @default.
- W130604681 cites W2095693131 @default.
- W130604681 cites W2097157641 @default.
- W130604681 cites W2104860831 @default.
- W130604681 cites W2128529251 @default.
- W130604681 cites W2131637541 @default.
- W130604681 cites W2131916293 @default.
- W130604681 cites W2147137665 @default.
- W130604681 cites W2165347588 @default.
- W130604681 cites W2165431910 @default.
- W130604681 cites W2167904762 @default.
- W130604681 cites W2295923951 @default.
- W130604681 cites W2296725671 @default.
- W130604681 cites W2508337844 @default.
- W130604681 cites W3135320517 @default.
- W130604681 cites W2523220559 @default.
- W130604681 hasPublicationYear "2009" @default.
- W130604681 type Work @default.
- W130604681 sameAs 130604681 @default.
- W130604681 citedByCount "0" @default.
- W130604681 crossrefType "journal-article" @default.
- W130604681 hasAuthorship W130604681A5039589808 @default.
- W130604681 hasConcept C118615104 @default.
- W130604681 hasConcept C137212723 @default.
- W130604681 hasConcept C153269930 @default.
- W130604681 hasConcept C154945302 @default.
- W130604681 hasConcept C198370458 @default.
- W130604681 hasConcept C199360897 @default.
- W130604681 hasConcept C2776214188 @default.
- W130604681 hasConcept C33923547 @default.
- W130604681 hasConcept C41008148 @default.
- W130604681 hasConcept C80444323 @default.
- W130604681 hasConcept C83852419 @default.
- W130604681 hasConceptScore W130604681C118615104 @default.
- W130604681 hasConceptScore W130604681C137212723 @default.
- W130604681 hasConceptScore W130604681C153269930 @default.
- W130604681 hasConceptScore W130604681C154945302 @default.
- W130604681 hasConceptScore W130604681C198370458 @default.
- W130604681 hasConceptScore W130604681C199360897 @default.
- W130604681 hasConceptScore W130604681C2776214188 @default.
- W130604681 hasConceptScore W130604681C33923547 @default.
- W130604681 hasConceptScore W130604681C41008148 @default.
- W130604681 hasConceptScore W130604681C80444323 @default.
- W130604681 hasConceptScore W130604681C83852419 @default.
- W130604681 hasLocation W1306046811 @default.
- W130604681 hasOpenAccess W130604681 @default.
- W130604681 hasPrimaryLocation W1306046811 @default.
- W130604681 hasRelatedWork W1525700339 @default.
- W130604681 hasRelatedWork W1566905983 @default.
- W130604681 hasRelatedWork W1580798378 @default.
- W130604681 hasRelatedWork W1585347244 @default.
- W130604681 hasRelatedWork W1663422736 @default.
- W130604681 hasRelatedWork W2019766167 @default.
- W130604681 hasRelatedWork W2029684521 @default.
- W130604681 hasRelatedWork W2031793325 @default.
- W130604681 hasRelatedWork W2043188316 @default.
- W130604681 hasRelatedWork W2065240466 @default.
- W130604681 hasRelatedWork W2089615179 @default.
- W130604681 hasRelatedWork W2098456419 @default.
- W130604681 hasRelatedWork W2132416076 @default.
- W130604681 hasRelatedWork W2157387202 @default.
- W130604681 hasRelatedWork W2392489297 @default.
- W130604681 hasRelatedWork W2571092107 @default.
- W130604681 hasRelatedWork W2911860417 @default.
- W130604681 hasRelatedWork W3010880730 @default.
- W130604681 hasRelatedWork W3027723509 @default.
- W130604681 hasRelatedWork W3107339655 @default.
- W130604681 isParatext "false" @default.
- W130604681 isRetracted "false" @default.
- W130604681 magId "130604681" @default.
- W130604681 workType "article" @default.