Texts
Required Textbook
Supplementary Online Texts
- Operational Semantics: Course Notes, Steffen van Bakel
- Programming Languages and Lambda Calculi, Matthias Felleisen and Matthew Flatt
- Programming Langauges: Application and Interpretation, Shriram Krishnamurthi
- Practical Foundations of Programming Languages, Robert Harper
- Ruby in Twenty Minutes
- Programming Ruby: The Pragmatic Programmer's Guide
- Why's (Poignant) Guide to Ruby
Code
- Ruby home page
- Try Ruby in your browser
- Racket home page
- Standard ML of New Jersey
- A list of other implementations of Standard ML
- An online interpreter for Standard ML
- Another browser-based Standard ML interpreter
- Erlang home page
- SWI Prolog home page