Functional programming, Glasgow 1992 proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 - Launchbury, John; Sansom, Patrick 1969- (Springer-Verlag, 1993)