This is a stream lined partial evaluator for
ML. Binding time analysis is provided via
set-based analysis. The focus of this work
is to address the computational overheads
introduced by modularization (such as those
associated with structured systems programming
in ML).
Contact:
Nevin Heintze
Computer Science Department
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, Pennsylvania 15213-3891
Email: nch@cs.cmu.edu
Voice: (412) 268-6739
In use:
Still under development.
Language:
SML/NJ
Compilers:
A modified version of SML/NJ 0.93
(currently being ported to the Fox ML 1.05 compiler)
Related Publications:
K. Malmkjaer, N. Heintze and O. Danvy
"ML Partial Evaluation using Set-Based Analysis",
1994 ML Workshop (also available as
Carnegie Mellon University technical
report CMU-CS-94-129).