Computation & Deduction
Spring 1997
Frank Pfenning

Lecture 14: Continuation-Passing Style

We discuss the solution to Assignment 4, which relates a formulation of Mini-ML with explicit type schemas to our formulation. We then discuss compilation of expression to a linear form, which will lead us to the idea of continuation-passing style. We present a syntax, operational semantics and compilation to expressions in continuation-passing style.
  • next lecture
  • previous lecture

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

    © Frank Pfenning 1992-1997