What's New on the Language Research Pages?

What's New (January 1995):

Jan 30
Added the TLCA (Typed Lambda Calculi and Applications) web page to the conferences page.
Jan 27
Added Katherine Yelick's home page.

Updated the links to the comp.compilers archive and FAQ (on the miscellaneous page).

Jan 26
Added two lists of home pages from the SEL-HPC Article Archive: home pages of functional language researchers, and home pages of compiler researchers.

Added Cormac Flanagan's home page.

Added the BETA page at Aarhus to the language overviews page.

Added The Journal of Functional and Logic Programming Web page to the miscellaneous page.

Added some Readings for learning various programming languages (by Gary Leavens) to the language overviews page. Moved his literature recommendations to the bibliographies page.

Added Tobias Nipkow's diagram of the syntax of SML (adapted from Larry Paulson's BNF) to the language overviews page.

Jan 24
Added the Oz page at DFKI to the language overviews page.
Jan 23
Added David Espinosa's home page.
Jan 20
Added a description of the Syntax of ML (by Larry Paulson and Richard Botting) to the language overviews page.

Added Oscar Nierstrasz's home page, and several others he suggested:
Gul Agha, Hassan Aït-Kaci, Jean-Pierre Briot, Nicholas Carriero, Mads Dam, Laurent Dami, Svend Frølund, David Gelernter, Joseph A. Goguen, C.A.R. Hoare, Jim Horning, Cliff B. Jones, Leslie Lamport, Patrick Steyaert, Mario Tokoro, William E. Weihl, Russel Winder, Niklaus Wirth, and Akinori Yonezawa.

Jan 18
Added the TAPSOFT (Theory and Practice of Software Development) web page to the conferences page.

Updated the link to the Napier88 page at the University of St Andrews.

Added Sverker Janson's home page.

Jan 16
Updated links to the folks at Chalmers: Thorsten Altenkirch, Lennart Augustsson, Thomas Hallgren, and Martin Weichert.

Added the home pages of Chris Colby and Michael Philippsen.

Added the Modula-2* Parallel Programming Environment project at the University of Karlsruhe to the projects page.

Added the Cecil home page to the language overviews page.

Jan 4
Added Jonathan Hill's home page.
Jan 3
Added the web page for the Workshop on Types for Program Analysis to the conferences page.

Added Manuel Chakravarty's home page.

What's new: December 1994

Back to the language research page


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