Logical foundations of functional programming - Huet, Gerard, editor (Reading, Massachusetts : Addison-Wesley Publishing Company, 1990)
Keywords: Functional programming (Computer science).