What's New on the Language Research Pages?

What's New (Winter 1995/96):

Feb 29

Added David Stoutamire's home page.

Feb 26

Updated the link to the comp.compilers archive.

Feb 22

Added the proceedings of WCSSS '96 (Workshop on Compiler Support for System Software) to the conferences page.

Feb 21

Added the web pages for The Little Schemer and The Seasoned Schemer to the publications page.

Feb 19

Updated the link to Greg Morrisett's home page.

Added a link to DEC CRL and updated the links to projects at DEC SRC and DEC WRL (on the projects page).

Feb 14

Added Maurice van Keulen's and Krishna Palem's home pages.

Added Prometheus to the language overviews page.

Feb 13

Added the FOOL (Workshop on Foundations of Object-Oriented Languages) web page to the conferences page.

Feb 12

Updated Jim Horning's entry on the home page list.

Feb 10

Added the Java White Paper to the language overviews page.

Added The Journal of the Interest Group in Pure and Applied Logics (IGPL) to the publications page.

Added the JICSLP'96 (Joint International Conference and Symposium on Logic Programming) and WoLLIC'96 (Workshop on Logic, Language, Information and Computation) web pages to the conferences page.

Added George Thiruvathukal's and Thomas Christopher's home pages.

Feb 8

Added the ELP (Workshop on Extensions of Logic Programming) web page to the conferences page.

Feb 6

Added Sheng Liang's home page.

Feb 5

Updated the description of the Cecil/Vortex project at U.W. (on the projects page).

Feb 4

Added Jan Prins' home page.

Jan 29

Added the NESL page at Carnegie Mellon to the language overviews page.

Added Bernd Mathiske's home page.

Jan 25

Added Stephen Jarvis' archive of resources for using Functional Programming Languages in Education to the miscellaneous page.

Jan 19

Added the Washington Ada Symposium to the conferences page. Here is the Call for Participation.

Updated the link to Dinesh Katiyar's home page.

Jan 16

Added the Web page for the 20th Anniversary Scheme Workshop (to be held at POPL this weekend) to the conferences page.

Updated Graham Hutton's entry on the home pages list.

Jan 15

Updated the link to the Self Project at Sun Microsystems Laboratories (on the projects page).

Jan 12

Updated the link to the The Journal of Functional and Logic Programming (on the publications page).

Jan 9

Added Sandip Biswas' home page.

Jan 4

Added several Forth-related pages (thanks to Peter Knaggs for the pointers):

The Forth page at the University of Paisley (on the overviews page).
euroFORTH: The European Forth Conference (on the conferences page)
RFC: The Rochester Forth Conference (on the conferences page)
A Searchable Forth Bibliography (still under development; on the bibliographies page)
The Journal of Forth Application and Research (on the publications page)

Added the home pages of Marjan Mernik, Frank Mueller, and Algirdas Pakstas. Updated the link to Jens Palsberg's home page.

Dec 21

Added Benjamin Goldberg's and Mehmet Orgun's home pages.

Added the call for papers for the International Conference on Theorem Proving in Higher Order Logics to the conferences page.

Dec 15

Added Martin Jourdan's home page. Added the the Charm Project at INRIA Rocquencourt to the research projects page.

Dec 12

Added Nick Graham's and Robert Muller's home pages. Updated the link to Michael Ernst's home page.

Dec 11

Added the home pages of Barbara Ryder, Patrick Cousot, Anthony Sloane, and T. B. Dinesh. Updated the link to Todd Knoblock's home page.

Added a link to the Software Engineering page of the WWW virtual library (the SEI software engineering resources page seems to have disappeared).

Added the PROLANGS Research Group at Rutgers University to the research projects page. Updated the link to the Functional Programming Group at Chalmers.

Added a link to Doug Howe's page of logic-related conferences (on the conferences page).

Added a link to the contents and prologue of Elementary Standard ML (by Greg Michaelson) to the books section of the publications page.

What's new: November 1995

Back to the language research page

Additions and corrections are welcome!

mleone@cs.cmu.edu