85 search results - page 1 / 17 » Efficient Data Representation in Polymorphic Languages |
PLILP
1990
Springer
13 years 9 months ago
1990
Springer
Languages with polymorphic types (e.g. ML) have traditionally been implemented using Lisp-like data representations--everything has to fit in one word, if necessary by being heap-...
POPL
1992
ACM
13 years 9 months ago
1992
ACM
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...
TACS
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
JFP
2002
13 years 4 months ago
2002
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. Th...
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...