Author: Glasgow Workshop on Functional Programming. (1991 Portree, Scotland)