sip@cs.princeton.edu

The recent revolution in compiling techniques for type-safe programming languages, using typed intermediate languages and intensional type analysis, will make possible a remarkably clean and modular design and implementation of source-level debuggers. This research project is still in a very early stage, so we don't have more to tell you at the moment.