Added Luca Cardelli's home page. Don't miss his collection of drawings and cartoons!
Added Simon Dobson's home page.
Added Greg Morrisett's home page.
Added the lcc compiler project.
Added Mark Kantrowitz's page of programming languages for artificial intelligence to the language overviews page.
Added Jeannette Wing's home page.
Added Kim Bruce's home page.
Added Imperial College's Theory and Formal Methods section, the MALI project at INRIA Rennes and the Programming Systems Research Group at MIT.
Added Eiffel to the language overviews page.
Added pointers to the linear logic page at SRI, Bill Scherlis' semantics-based program analysis and manipulation page, and Tomas Uribe's automated deduction page.
Improved and expanded the conferences page.
Added several projects: the programming language group at Kansas State, The Scheme Underground, the SUIF compiler group, and Projet Cristal.
Added new home pages for: Saman Amarasinghe, Jennifer Anderson, Françoise Bellegarde, Mary Hall, John Hatcliff, Brian Howard, Monica Lam, David Toman, Chau-Wen Tseng, and Franklyn Turbak.