What's New on the Language Research Pages?
What's New (May 1995):
- May 31
-
Added
Atsushi Ohori's home page.
- May 26
-
Added
Jim Lipton's home page.
- May 24
-
Added some past and current projects at Hamburg University
to the projects page:
DBPL, P-Quest, and
Tycoon.
- May 23
-
Updated the link to Kristoffer Rose's
home page.
- May 16
-
Added the Lygon
page at Melbourne University to the language
overviews page. Added Michael Winikoff's home page.
- May 12
-
Added
Ron Cytron's home page.
- May 11
-
Updated the link to the
Cecil Project page at the University of Washington.
- May 10
-
Added Dave Stringer-Calvert's
home page.
- May 2
-
Added the
Journal of Symbolic Computation's
Special Issue on Executable Temporal Logics web page to the miscellaneous page.
What's new: April 1995
Back to
the language research page
Additions and corrections are welcome!
mleone@cs.cmu.edu