Transformations and reduction strategies for typed lambda expressions, ACM Trans. Programming Languages Systems 6, 603 631. 10a. Hallenberg, N., A region profiler for a standard ML compiler based on region inference, student project 96-5-7 (1984)

by M Georgeff
Venue:Department of Computer Science, University of Copenhagen (DIKU