Examines | theoretical and implementational aspects of programming languages, expecially advanced languages |
Areas | semantics, expressibility, types, control, calculi |
Languages | Scheme, ML, C++ |
Platform | Unix on various architectures, Microsoft Windows 95 and Windows NT |
Faculty and Research Scientists:
Corky Cartwright | abstract programming and program semantics |
Matthias Felleisen | conceptual aspects of programming languages |
Kathi Fisler |
Graduate Students:
Shriram Krishnamurthi | extensible systems, syntactic abstraction and programming environments |
Matthew Flatt | programming environments |
Robby Findler | |
Paul Graunke | |
Tim Miller |