- July 28
-
Added a pointer to the Larch Project server.
Added the Static Analysis Symposium program to the conferences page.
- July 26
-
Added the Hope page at Imperial College, which includes
an interesting
forms-based interface to a Hope interpreter.
Added pointers to the Info pages for
Standard ML of New
Jersey and the
Edinburgh SML Library to the language
overviews page.
Added a pointer to the
Implementation of Functional Languages workshop page.
- July 25
-
Added a pointer to the functional programming article archive.
Added the
Workshop on Automated and Algorithmic Debugging
and the
Intermediate Representations Workshop to the
conferences page.
- July 14
-
Added CTCS '95 (Cateogry Theory and Computer Science) call for papers to the
conferences page.
- July 13
-
Updated the pointer to
Programming
Language Semantics Research at Kansas State University.
Added
David Schmidt's home page.
Added the
Programming Language Research Group at Penn State.
Added a collection of advice on research and writing
and Gary Leavens' collection of recommendations on teaching programming languages and on programming languages literature to the miscellaneous page.
Added the proceeding of the
1994 ML Workshop to the conferences page.
- July 12
-
Added Mads Rosendahl's abstract interpretation bibliography and
Phil Wadler's short list of references on
lambda calculi based on linear logic to the bibliographies page.
Added the Workshop on Logic, Language, Information and Computation to the conferences page.
Added home pages for several folks from DIKU:
Peter Holst Andersen,
Jesper Jørgensen,
Christian Mossin,
Kristian Nielsen,
David Sands, and
Morten Welinder.
- July 6
-
Added home pages
for Martín Abadi, John Plevyak, and Andrew Gordon. Added Margaret M. Burnett's FTP directory. Updated the links to
Raph Levien and Simon
Dobson.
Added the
TallShiPP project
and the
Omega Project.
Added the Joint Modular Languages Conference program.
Back to
the language research page