PostScript
version of this text is available.
Next:
Types
Class Note 5
Brent Knight
September 7, 1994
Types
Summary
Adding the Function Space Type
Higher Order Functions
Differences Between Mathematics and ML
Propositions
About this document ...