What's New on the Language Research Pages?

Related Pages:

• What's New in Linear Logic
• Recent material on logical frameworks.
• What's new in the SEL-HPC functional programming articles archive.
• What's new in the SEL-HPC compilers and interpreters archive.
• What's new on the Semantics Based Program Analysis and Manipulation page.

What's New:

June 9

Updated Jeffrey Dean's entry on the list of home pages and added a link to Chris Walton's home page.

June 2

Added/updated some home pages:

• Mary Fernandez
• Robert Glück
• Patrik Jansson
• Chang-Hyun Jo
• Jonas Skeppstedt

May 19

Added David Wonnacott's home page.

May 13

Added/updated several home pages:

• David Gries
• Luke Hornof
• Fairouz Kamareddine
• Olivier Michel
• Steve Novack
• Olin Shivers

Added Richard Jones' Garbage Collection bibliography.

Added Projet COMPOSE (at the University of Rennes/IRISA) and the mpC Project (at the Russian Academy of Sciences) to the projects page. Updated the link to the Center for Research on Parallel Computation (CPRC) at Rice.

May 6

Added MPC '98 (Mathematics of Program Construction) to the conferences page.

April 30

Added POPL '98 (Principles of Programming Languages) and the ILPS'97 Post-Conference Workshop on Specialization of Declarative Programs and its Applications to the conferences page.

April 16

Updated the link to the comp.lang.functional FAQ, which is now maintained by Graham Hutton.

April 10

Updated the link to The Language List (on the language overviews page.

April 8

Updated the link to the Pi-calculus page, which is now called Calculi for Mobile Processes. Updated the link to the Scandal project at CMU.

April 4

Added/updated several conferences and workshops:

• DSL: Conference on Domain-Specific Languages
• ECOOP: European Conference on Object-Oriented Programming
• Fuji International Symposium on Functional and Logic Programming
• IFL: Workshop on the Implementation of Functional Languages
• Workshop on Java for Science and Engineering Computation
• MASPLAS: Mid-Atlantic States Student Workshop on Programming Languages and Systems
• OOPSLA: Object-Oriented Programming Systems, Languages and Applications
• PPOPP: Principles and Practice of Parallel Programming
• SAS '97: Static Analysis Symposium

Also added/updated several links to related pages:

• DIKU's list of PL conferences
• ACM Conferences and Workshops
• The WWW Virtual Library's list of Programming Language Conferences.
• Resources for conference and workshop organizers

March 31

Added/updated several home pages:

• Thomas Ball
• Pedro Diniz.
• Cormac Flanagan (entry updated)
• Sangwook Kim
• Uwe Nestmann (entry updated)
• Albert Nymeyer
• Henrik Quintel
• Chau-Wen Tseng (entry updated)
• Franck van Breugel

Added Pict, Caml, and Objective Caml to the page of research language overviews.

Updated the link to ACM Transactions on Programming Languages and Systems (TOPLAS) (on the Journals page).

What's new: Winter 1996

Back to the language research page