Meeting: K hour (14:30-16:00), CIT 506
Professor: Shriram Krishnamurthi
Text: Types and Programming Languages, Benjamin C. Pierce
Paper to implement: Adding Apples to Oranges, Erwig and Burnett (see talk slides, too)
To get the latest version of MysterX, use the Windows pre-release binaries (and follow the instructions on that page).
Cactus, Mission San José, San Antonio, TX © 1997 sk