Computer Science Department
School of Computer Science, Carnegie Mellon University
The Wizard of TILT:
Efficient?, Convenient, and Abstract Type Representations
Tom Murphy
March 2002
Senior Thesis, School of Computer Science
CMU-CS-02-120.ps
CMU-CS-02-120.pdf
The TILT compiler for Standard ML is type-directed and type-preserving,
that is, it makes use of and translates type information during the
phases of compilation. Unfortunately, such use of type data incurs a
significant overhead. This paper explores methods for abstractly,
conveniently, and efficiently storing and manipulating type information
in TILT. In the end, we discover that doing more work to reduce
overhead is a bad strategy for this situation.
22 pages
Return to:
SCS Technical Report Collection This page maintained by [email protected]
School of Computer Science homepage