|
J. B. Wells, Allyn Dimock, Robert Muller, and Franklyn
Turbak
A calculus with polymorphic and polyvariant flow
types
J. Funct. Programming, 12(3):183-227, May 2002
Supersedes [89]
We present lambdaCIL, a typed
lambda-calculus which serves as the foundation
for a typed intermediate language for optimizing
compilers for higher-order polymorphic programming
languages. The key innovation of
lambdaCIL 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 lambdaCIL enjoys confluence,
standardization, and subject reduction properties,
it is a valuable tool for reasoning about programs
and program transformations.
[ bib |
.pdf |
.html ]
Back
This file has been generated by
bibtex2html 1.61
Copyright notice: The documents contained
in these pages are included by the contributing authors as a means to
ensure timely dissemination of scholarly and technical work on a
non-commercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that
they have offered their works here electronically. It is understood that all persons copying this information will
adhere to the terms and constraints invoked by each author's
copyright. These works
may not be reposted without the explicit permission of the copyright
holder.
If you experience problems downloading any of the files above,
it is most likely because your browser does not handle compressed
files correctly.
In particular, Netscape might save the file in the compressed
gz-format with extension .ps or
.pdf (indicating postscript or PDF, resp.). You can work around this by saving the file,
renaming it to .ps.gz or .pdf.gz, and then
uncrompress it.
|
