A Continuation-Passing Interpreter
Lectures 8 & 9
Illustrates how one might implement the C-machine in SML

15-312 Foundations of Programming Languages
Frank Pfenning
Fall 02

c-mach.sml  --- exports CMach.evaluate : exp -> exp
cps.sml     --- exports CPS.evaluate : exp -> exp

(* parse, type-check, and evaluate expression in file *)
top.sml     --- exports CMachEval.read : string -> unit
                    and CPSEval.read : string -> unit

Copied from the sample solution to Assignment 2

stream.sml
input.sml
lexer.sml
minml.sml
translate.sml
parse.sml
print.sml
typing.sml
eval.sml