Programming Language Theory
Professor:
Shriram Krishnamurthi
Syllabus
Texts:
Semantics Engineering with PLT Redex
, Matthias Felleisen, Robert Bruce Findler and Matthew Flatt (on
Amazon
)
Semantics with Applications: A Formal Introduction
, Hanne Riis Nielson and Flemming Nielson
Cactus, Mission San José, San Antonio, TX © 1997 sk