| 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 |