Back to
the language research page
Updated the links to Edoardo Biagioni's, Robert Harper's, and Bill Kalsow's home pages.
Added a pointer to the ASF + SDF '95 workshop on generating tools from algebraic specifications.
Added the International Summer School on Logic of Computation web page and the 11th ADT Workshop and 8th General Compass Meeting page to the conferences page.
Added Alan Borning's and Andrew Tolmach's home pages and updated the link to Henry Baker's page.
Added the following calls for papers to the conferences page: RTAS '95 (Real-Time Technology and Application Symposium), ILPS '95 (International Logic Programming Symposium), and ICECCS '95 (International Conference on Engineering of Complex Computer Systems).
Added the proceedings of the 1994 Workshop on the Foundations of Object-Oriented Languages to the conferences page. Updated the link to the Scheme Repository. Also updated the links to the Haskell FAQ, language definition, and tutorial (on the language overviews page).
Added Paul Hudak's home page.
Updated the link to the TOPPS group at DIKU.
Added the Programming Research Group at Oxford.
Added a list of references on linking to the bibliographies page.
Added the TLCA '95 program (Typed Lambda Calculi and Applications) to the conferences page.
Added The Chicago Journal of Theoretical Computer Science to the miscellaneous page.
Added the Association of Lisp Users home page to the language overviews page. Used the same link for the 1995 Lisp Users and Vendors Conference entry on the conferences page, since the program has not yet been released.
Added a link for the Scheme Repository's new Web interface to the language overviews page.
Added the new HTML version of the FAQ for comp.lang.functional to the language overviews page.
Added the Sisal page at Lawrence Livermore.
Added pointers to other lists of home pages: Who's Who on the Web in Formal Methods, Researchers in Logical Frameworks, and Semantics-Based Program Analysis and Manipulation Researchers.
Added the home pages of Bill Scherlis, Kevin Hammond, Simon Peyton Jones, Patrick Sansom, Sigbjorn Finne, David King, John O'Donnell, Bryan O'Sullivan, Alastair Reid, Duncan Sinclair, and Satnam Singh.
Added the PAP '95 (Practical Applications of Prolog) web page to the conferences page.
Added a few links to the bibliographies page: two Linear logic bibliographies, a collection of various logic-programming conference bibliographies, and a bibliography on abstract interpretation for logic programming.
Updated the link to the Hope page at Imperial College.
Added the Occam Archive at Oxford to the language overviews page.
Added the home pages of Lori Pollock, Mark Chu-Carroll, and Rajiv Gupta.