Computation & Deduction
Spring 1997
Frank Pfenning

Lecture 13: Constraints in Elf

We discuss additional details and alternatives in the formulation of contextual evaluation. This will lead us to examine the operational semantics of Elf in more detail and, in particular, which kinds of equations are solved effectively and which are carried along as constraints during evaluation.
  • next lecture
  • previous lecture

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

    © Frank Pfenning 1992-1997