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:

• Type: Conference
• Year: 1997
• Where: ICFP
• Authors: Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
• Keywords: Allyn Dimock Harvard, Franklyn Turbak Wellesley, ICFP 1997, Multiple Representations, Programming Languages