@Bibtex-file{Compiler/ml.bib,
  title =        "Bibliography on Applicative Programming and
                 Specification (with emphasis on {ML})",
  author =       "Stephen Gilmore",
  email =        "stg@dcs.ed.ac.uk",
  address =      "Laboratory for Foundations of Computer Science, \\
                 Department of Computer Science, \\ The King's
                 Buildings, \\ University of Edinburgh, \\ Edinburgh EH9
                 3JZ, UK.",
  supported =    "gone",
  abstract =     "This file contains a selection of references which are
                 cited in \htmladdnormallink{``Applicative Programming
                 and Specification''}
                 {ftp://colonsay.dcs.ed.ac.uk/home/ftp/pub/stg/aps.ps},
                 a set of lecture notes on Standard ML and Extended
                 ML.",
  readme =       "It is my hope that the entries are correct but I would
                 be glad to hear of corrections.",
}

.