Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Allyn Dimock"'
Publikováno v:
Journal of Functional Programming. 12:183-227
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d19025c3f26ab788cba35fa8185431b6
https://doi.org/10.1017/s0956796801004245
https://doi.org/10.1017/s0956796801004245
Publikováno v:
ACM SIGPLAN Notices. 32:11-24
We present a new framework for transforming data representations in a strongly typed intermediate language. Our method allows both value producers (sources) and value consumers (sinks) to support multiple representations, automatically inserting any
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a5a808248a7b7f15db724504d7a754b
https://doi.org/10.1145/258949.258952
https://doi.org/10.1145/258949.258952
Publikováno v:
ICFP
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representations. In this paper, we present empirical data comparing the relative effi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7442454472ce5a400ebb71d78b448767
https://doi.org/10.1145/507635.507640
https://doi.org/10.1145/507635.507640
Autor:
Allyn Dimock, Franklyn Turbak, Joseph Brian Wells, Robert Muller, Ian Westmacott, Jeffrey Considine
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540421962
Types in Compilation
Types in Compilation
The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c2fef8235445a32657c36dc48785fb10
https://doi.org/10.1007/3-540-45332-6_2
https://doi.org/10.1007/3-540-45332-6_2
Publikováno v:
TAPSOFT '97: Theory and Practice of Software Development ISBN: 9783540627814
TAPSOFT
TAPSOFT
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a typed lambda calculus with product, sum, intersection, and union types a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::722505c45b6755499ce971f0683af2ea
https://doi.org/10.1007/bfb0030639
https://doi.org/10.1007/bfb0030639
Publikováno v:
OOPSLA
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e201910081681c55ca2626acee39ccab
https://doi.org/10.1145/165854.165865
https://doi.org/10.1145/165854.165865
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.