No description or website provided.
Standard ML
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
CAM.sml
CAM_notes.pdf
CPS.sml
README
combinatory_logic.sml
interpreter.sml
lambda_evaluation.sml
lambda_notation.sml
typecheck.sml

README

A collection of Standard ML code written for a project at the University of 
Minnesota titled "A Comparison of Approaches to Compiling Functional Programming 
Languages". The corresponding poster can be found here: 
https://conservancy.umn.edu/handle/11299/172228

- CAM.sml: A compiler for a simple functional programming language based on 
      "The Categorical Abstract Machine" by Cousineau, Curien, and Mauny
- CAM_notes.pdf: Slides describing the Categorical Abstract Machine prepared
      for the University of Minnesota's Spring 2015 CSCI 5161 class (Introduction 
      to Compilers)
- CPS.sml: A compiler for a simple functional programming langauge based on 
      "The Essence of Compiling with Continuations" by Flanagan, Sabry, Duba, 
      and Felleisen
- interpreter.sml: An interpreter for a simple functional language
- typecheck.sml: A Standard ML-stlye type checking system for a simple functional
      langauge
- combinatory_logic.sml, lambda_evaluation.sml, lambda_notation.sml: various code
      written to familiarize myself with Standard ML, includes examples of 
      translating betweeen (and evaluating) let-expressions, lambda expressions,
      lambda expressions using De Bruijn indices, and combinatory logic terms.