Computation & Deduction
Spring 1997
Frank Pfenning

Lecture 2: Natural Semantics for Mini-ML

We introduce Mini-ML, a pure functional languages with natural numbers, pairs, functions, polymorphic definition, and recursion. The presentation of the language emphasizes the close connection between the rules for typing, values, and evaluation. We will consider several alternatives and also discuss properties a language of this kind should have.
  • next lecture
  • previous lecture

  • [ C&D Home | Schedule | Code | Assignments | Notes | Projects | Elf ]

    © Frank Pfenning 1992-1997