What's New on the Language Research Pages?

What's New (Summer 1996):

Aug 28

Updated the entries for Annie Liu and Benjamin Pierce.

Aug 20

Updated my own entry on the list of home pages. I'm visiting the Programming Languages Research Group at Indiana University. (The location of these language research web pages will not change.)

Aug 19

Added CW'97 (the Workshop on Continuations) and the Workshop on Interaction between Compilers and Computer Architectures to the conferences page.

July 30

Added a pointer to Barrett Bryant's home page. Updated the link to Ellen Spertus' home page.

July 29

Added a pointer to Phil Wadler's A Guide to Functional Programming on the Web.

Added Purush Iyer's and Kwangkeun Yi's home page.

Added Cool, the Classroom Object-Oriented Language to the miscellaneous page.

Added TABLEAUX'97 (Analytic Tableaux and Related Methods), LCT-RTS'97 (Languages, Compilers, and Tools for Real-Time Systems), and LACL'96 (Logical Aspects of Computational Linguistics) to the conferences page.

Added Ada 95 to the language overviews page.

July 23

Added ML for the Working Programmer (by Larry Paulson) to the publications page.

Added VL'96 (IEEE Symposium on Visual Languages) to the conferences page.

Added a link to the World Wide Web Consortium's page on mobile code.

Deleted some defunct links.

July 18

Added the Software Engineering and Programming Languages (SEaPL) Working Group to the projects page. Added the related SEaPL Workshop on Software Engineering and Programming Languages to the conferences page.

Added TACS'97 (Theoretical Aspects of Computer Software) to the conferences page.

Added A Theory of Objects (by Martín Abadi and Luca Cardelli) and Springer-Verlag to the publications and publishers page.

July 16

Added Annie Liu's home page.

July 10

Added Rishiyur Nikhil's home page.

July 9

Added the 1st Workshop on Functional Programming (at Buenos Aires) to the conferences page.

Added Uwe Kastens' home page. Updated the link to Jim Horning's home page. Added Johan Jeuring's home page.

Added the Internet Prover Project at Kyushu University to the projects page. Using Netscape, you can see a type assignment figure for the lambda-term you give, or see a proof figure for the implicational formula you give, if the formula is provable in intuitionistic logic.

June 26

Updated the link to Gregor Kiczales' home page.

Updated the link to Andrzej Filinski's home page.

June 21

Added PEPM '97 (Partial Evaluation and Semantics-Based Program Manipulation) to the conferences page.

June 18

Added the (now persistent) ICFP Home Page (International Conference on Functional Programming) to the conferences page.

Added Chris Clack's home page.

June 16

Added a link to the proposed SML Basis Library on the Standard ML page at CMU (listed on the language overviews page).

June 13

Added William Waite's home page and a link to the Eli project (on the projects page).

Added Arie van Deursen's home page, and his text, Language Prototyping: An Algebraic Specification Approach (on the publications page).

Added World Scientific Publishing Co. to the publications and publishers page.

Added ASF+SDF'95, Proceedings of the Workshop on Generating Tools from Algebraic Specifications to the conferences page.

Added a link to the European Association for Programming Languages and Systems.

Added the Nordic Workshop on Programming Theory to the conferences page.

June 12

Updated the link to the Pi-Calculus page (by Arie van Deursen and Uwe Nestmann).

Added Dattatraya Kulkarni's home page.

June 5

Added IFL'96 (Workshop on the Implementation of Functional Languages) to the conferences page.

June 3

Added a link to The Compiler Connection at NULLSTONE. Also added an entry for Christopher Glaeser to the list of home pages.

Updated the link to the Action semantics page.

Added links to Quinn Tyler Jackson's and Takashi Yamanoue's home pages.

Added a link to TAPSOFT'97 (Theory and Practice of Software Development).

What's new: Spring 1996

Back to the language research page