Sciweavers

Share
JFP
2002

A calculus with polymorphic and polyvariant flow types

9 years 2 months ago
A calculus with polymorphic and polyvariant flow types
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 union types and flow labels on both terms and types. These flow types can encode polyvariant control and data flow information within a polymorphically typed program representation. Flow types can guide a compiler in generating customized data representations in a strongly typed setting. Since CIL enjoys confluence, standardization, and subject reduction properties, it is a valuable tool for reasoning about programs and program transformations.
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JFP
Authors J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
Comments (0)
books