Browse by Discipline
Dimock, Allyn - Department of Computer Science, University of Massachusetts at Lowell
To Appear in J. Functional Programming 1 A Calculus with Polymorphic
Program Representation Size in an Intermediate Language
This is a translation of some notes on calculus by JeanJaques Levy. I am translating the notes relating to Bohm trees and their applications.
Functioning without Closure: TypeSafe Customized Function Representations for Standard ML
Type-and Flow-Directed Compilation for Specialized Data Representations
Website Policies/Important Links