Allyn Dimock, Robert Muller, Franklyn Turbak, and J. B. Wells. 
<b>Strongly Typed Flow-Directed Representation Transformations</b>.
In <i>International Conference
on Functional Programming (ICFP '97)</i>. ACM, 1997.<hr>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:
<ol>
 <li>
  <i>Flow annotated types</i> encode the ``flows-from'' (source) and
  ``flows-to'' (sink) information of a flow graph.
 </li>
 <li>
  <i>Intersection and union types</i> support (a) encoding precise
  flow information, (b) separating flow information so that
  transformations can be well typed, (c) automatically reorganizing flow
  paths to enable multiple representations.
 </li>
</ol>
As an instance of our framework, we provide a function representation
transformation that encompasses both closure conversion and inlining.
Our framework is adaptable to data other than functions.<hr>[<a href="icfp97.ps">PS</a>]  [<a href="icfp97.pdf">PDF</a>]