Bibliography

Bibliography	ascg-01
References to supplementary material	Documents

(This page should be replaced by a more comprehensive formatted document...)

SML:

For all you need to know about Standard ML, see Tips for Computer Scientists on Standard ML by Mads Tofte ps.gz, dvi.Z

CML:

Reppy's papers and thesis on Concurrent ML are available from the CML web pages

FJ:

A paper on Featherweight Java is available online (under Object-Oriented Programming)

References to all major (and many minor) approaches to formal semantics are given in the new paper:

What Use Is Formal Semantics?

available in pdf and ps.

Version 2, Tue 22 May 2001 15:00:04 [pdm] - created Sat 10 Mar 2001 11:24:50 [pdm]