Sciweavers

ICFP
1997
ACM

Strongly Typed Flow-Directed Representation Transformations

13 years 7 months ago
Strongly Typed Flow-Directed Representation Transformations
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calculus, intersection and union types, typed flow analysis, closure conversion, inlining 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 required code. Specialized representations can be easily chosen for particular source/sink pairs. The framework is based on these techniques:
Allyn Dimock, Robert Muller, Franklyn A. Turbak, J
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where ICFP
Authors Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
Comments (0)