What's New on the Language Research Pages?

What's New (May/June 1994):

June 17
Added Chris Fraser's home page.
June 16
Added John Hannan's home page.
June 15
Added the Obliq home page to the language overviews page.

Added Luca Cardelli's home page. Don't miss his collection of drawings and cartoons!

Added Simon Dobson's home page.

June 14
Updated the link to the Sparse Group. Added the preliminary ALP and PLILP programs to the conferences page. Updated the link to Mark Vandevoorde's home page.
June 13
Added SIPL '95 (State in Programming Languages) to the conferences page.

Added Greg Morrisett's home page.

June 10
Added the Proteus Project and Lars Nyland's home page.

Added the lcc compiler project.

Added Mark Kantrowitz's page of programming languages for artificial intelligence to the language overviews page.

June 7
Added John Farrell's functional programming page. Added the Glasgow functional programming group. Updated the pointer to TOPPS, the semantics group of DIKU.

Added Jeannette Wing's home page.

June 6
Added Xavier Leroy's home page.
June 2
Added Gary Leavens's home page.
June 1
Added Michael Wolfe's home page.
May 31
Added a pointer to John McClain's list of programming language critiques to the language overviews page. Revised the link to the Eiffel page.

Added Kim Bruce's home page.

May 27
Added the constraints archive and the logic programming 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.

May 26, 1994
Complete reorganization. Created this 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.

Back to the language research page


Additions and corrections are welcome!
mleone@cs.cmu.edu