Functional programming, Glasgow 1993 proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5 - 7 July 1993 (Springer, 1994)