Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
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
