What's New on the Language Research Pages?

What's New (Spring 1996):

May 29

Added Gary Leavens' Introduction to the Literature On Programming Language Design to the language overviews page.

May 28

Updated the link to Mary Fernandez's home page.

May 14

Added POPL'97 (Principles of Programming Languages) to the conferences page.

Added the (similarly named) Principles of Programming (POP) Group at Carnegie Mellon and a page describing research on Logical Frameworks at CMU to the projects page.

May 13

Corrected the link to Michael Schwartzbach's home page.

May 10

Added Dan Friedman's home page.

Updated the link to Reflection '96 (on the conferences page).

May 9

Added Gary Leavens' Teaching About Programming Languages project.

Added George Papadopoulos' home page.

Added MPLP (Multi-Paradigm Logic Programming workshop), SBLP (Brazillian Symposium on Programming Languages), and the CADE-13 Workshop on Proof Search in Type-Theoretic Languages to the conferences page.

Added a guide to papers on Chu spaces written by members of the Stanford Concurrency Group to their entry on the projects page.

May 1

Adopted a quarterly format for this "What's New" listing.

Added a Catalog of Compiler Construction Tools (by F.W. Schroeer).

Apr 20

Added Lee Braine's home page.

Apr 1

Added a link to Arie van Deursen's and Uwe Nestmann's Pi-Calculus home page.

Mar 28

Added John O'Regan's Dataflow page to the list of subject-oriented web pages.

Mar 23

Added Michael Hind's home page.

Mar 22

Added Wil Clinger's home page.

Mar 15

Added the First Workshop on Functional Programming, Buenos Aires to the conferences page.

Mar 14

Removed links to out-of-date bibliographies for ASPLOS, PACT, PLDI, POPL. Up-to-date versions are available from the ACAPS group at McGill. Updated the link to the TOPLAS bibliography (by Preston Briggs and Nelson Beebe).

Added a link to Michael Ley's Database Systems and Logic Programming Bibliographies.

Added a link to the ACM SIGPLAN home page.

Mar 11

Added Eelco Visser's home page.

Added the Gentle page at GMD to the language overviews page.

Mar 10

Added the ACAPS bibliographies from McGill to the bibliographies page. Included are all PLDI, ASPLOS, HPCA, ISCA (from 10), POPL (from 14), T/LOPLAS, and other related conferences.

Mar 9

Added AMAST Links, the archive of Algebraic Methodology And Software Technology newsletters, to the main page.

Added the LANDE project and the partial evaluation project at IRISA to the projects page.

Added Michael Leuschel's home page.

Mar 8

Added the Summer School on Advanced Functional Programming to the conferences page.

Added a link to Andrew Cumming's A Gentle Introduction to ML (mirrored in Canada) to the Standard ML page at CMU (listed on the language overviews page).

Mar 4

Finally added the ASPLOS (Architectural Support for Programming Languages and Operating Systems) web page to the conferences page. (Submissions due March 5.)

What's new: Winter 1995/96

Back to the language research page