Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020543669> ?p ?o ?g. }
- W2020543669 endingPage "227" @default.
- W2020543669 startingPage "183" @default.
- W2020543669 abstract "We present λ CIL , a typed λ-calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. The key innovation of λ CIL is a novel formulation of intersection and union types and flow labels on both terms and types. These flow types can encode polyvariant control and data flow information within a polymorphically typed program representation. Flow types can guide a compiler in generating customized data representations in a strongly typed setting. Since λ CIL enjoys confluence, standardization, and subject reduction properties, it is a valuable tool for reasoning about programs and program transformations." @default.
- W2020543669 created "2016-06-24" @default.
- W2020543669 creator A5052679590 @default.
- W2020543669 creator A5073112487 @default.
- W2020543669 creator A5081922700 @default.
- W2020543669 creator A5083304815 @default.
- W2020543669 date "2002-05-01" @default.
- W2020543669 modified "2023-10-17" @default.
- W2020543669 title "A calculus with polymorphic and polyvariant flow types" @default.
- W2020543669 cites W100466825 @default.
- W2020543669 cites W1492489158 @default.
- W2020543669 cites W1522271721 @default.
- W2020543669 cites W1527933453 @default.
- W2020543669 cites W1528437110 @default.
- W2020543669 cites W1546990306 @default.
- W2020543669 cites W1552909716 @default.
- W2020543669 cites W1553391613 @default.
- W2020543669 cites W1559765808 @default.
- W2020543669 cites W1572175282 @default.
- W2020543669 cites W1574093496 @default.
- W2020543669 cites W1580664042 @default.
- W2020543669 cites W1583210003 @default.
- W2020543669 cites W1587730920 @default.
- W2020543669 cites W1595372275 @default.
- W2020543669 cites W1651122320 @default.
- W2020543669 cites W1735049056 @default.
- W2020543669 cites W1963954367 @default.
- W2020543669 cites W1971014792 @default.
- W2020543669 cites W1976808561 @default.
- W2020543669 cites W1982205631 @default.
- W2020543669 cites W1990370351 @default.
- W2020543669 cites W2005958145 @default.
- W2020543669 cites W2010240397 @default.
- W2020543669 cites W2016049804 @default.
- W2020543669 cites W2016076634 @default.
- W2020543669 cites W2018240113 @default.
- W2020543669 cites W2021085621 @default.
- W2020543669 cites W2022443117 @default.
- W2020543669 cites W2022949157 @default.
- W2020543669 cites W2030916392 @default.
- W2020543669 cites W2032137108 @default.
- W2020543669 cites W2034918983 @default.
- W2020543669 cites W2051632385 @default.
- W2020543669 cites W2052440299 @default.
- W2020543669 cites W2060688393 @default.
- W2020543669 cites W2064236106 @default.
- W2020543669 cites W2064820590 @default.
- W2020543669 cites W2067976080 @default.
- W2020543669 cites W2069107692 @default.
- W2020543669 cites W2072881702 @default.
- W2020543669 cites W2076212434 @default.
- W2020543669 cites W2088019269 @default.
- W2020543669 cites W2088494048 @default.
- W2020543669 cites W2088735483 @default.
- W2020543669 cites W2112022010 @default.
- W2020543669 cites W2112783642 @default.
- W2020543669 cites W2117601321 @default.
- W2020543669 cites W2123727486 @default.
- W2020543669 cites W2126650211 @default.
- W2020543669 cites W2127172188 @default.
- W2020543669 cites W2133651035 @default.
- W2020543669 cites W2136290535 @default.
- W2020543669 cites W2142797138 @default.
- W2020543669 cites W2153297607 @default.
- W2020543669 cites W2154273644 @default.
- W2020543669 cites W2163672025 @default.
- W2020543669 cites W2163976959 @default.
- W2020543669 cites W2169761811 @default.
- W2020543669 cites W2171691057 @default.
- W2020543669 cites W2181943201 @default.
- W2020543669 cites W2522041776 @default.
- W2020543669 cites W2702590602 @default.
- W2020543669 cites W3142323636 @default.
- W2020543669 cites W60185894 @default.
- W2020543669 doi "https://doi.org/10.1017/s0956796801004245" @default.
- W2020543669 hasPublicationYear "2002" @default.
- W2020543669 type Work @default.
- W2020543669 sameAs 2020543669 @default.
- W2020543669 citedByCount "44" @default.
- W2020543669 countsByYear W20205436692012 @default.
- W2020543669 countsByYear W20205436692013 @default.
- W2020543669 countsByYear W20205436692014 @default.
- W2020543669 countsByYear W20205436692016 @default.
- W2020543669 countsByYear W20205436692018 @default.
- W2020543669 countsByYear W20205436692020 @default.
- W2020543669 crossrefType "journal-article" @default.
- W2020543669 hasAuthorship W2020543669A5052679590 @default.
- W2020543669 hasAuthorship W2020543669A5073112487 @default.
- W2020543669 hasAuthorship W2020543669A5081922700 @default.
- W2020543669 hasAuthorship W2020543669A5083304815 @default.
- W2020543669 hasConcept C111919701 @default.
- W2020543669 hasConcept C127413603 @default.
- W2020543669 hasConcept C146978453 @default.
- W2020543669 hasConcept C160191386 @default.
- W2020543669 hasConcept C169590947 @default.
- W2020543669 hasConcept C17744445 @default.
- W2020543669 hasConcept C188087704 @default.
- W2020543669 hasConcept C199360897 @default.