Programming Languages: Implementations, Logics, and ...
Preview
... UK, September 3-5, 1997. Proceedings Hugh Glaser, Peter Hartel, Herbert
Kuchen. Functional Programming and Geometry Guy Cousineau Laboratoire d'
lnformatique, Ecole Nornale Superieure 45 rue d'Ulm, 75251 PARIS CEDEX 05
Guy.