Computation & Deduction
Spring 1997
Frank Pfenning


The code is organized into directories which follow the structure of the languages and chapters in the course notes. Each directory contains a CONFIG file for use with the Elf server and a TAGS file for easy navigation and search in Emacs. Files with sample queries (usually examples.quy) are generally not loaded, but the queries are transmitted to the server individually. The file load.sml is for an older version of Elf which runs embedded in the SML top-level environment, rather than as a separate server.
  • Mini-ML
  • Compilation
  • Natural Deduction
  • Sequent Calculus
  • Cut Elimination

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

    © Frank Pfenning 1992-1997