Standard ML of NJ home page
ML Tutorial
Topics for Test 1
Running SML under Emacs
Gnu Prolog home page
Gnu Prolog documentation
Presentations
Take-home portion of exam
|
HW 1: Grammars
HW 2: Intro to ML
HW 3: More ML
HW 4: Polymorphism
HW 5: Heap Management
HW 6: Parameter Passing
HW 7: Prolog
|
Prog 1: A Lexical Analyzer in ML
Prog 2: Huffman Coding in ML
|