PostScript version of this text is available.

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 ...