TY - BOOK AU - Jones, Simon L. Peyton TI - Implementation of functional programming languages SN - 0-13-453325-9 U1 - 005.133 PY - 1987/// CY - Englewood PB - Prentice KW - Computer science KW - Graph reduction KW - Lambda calculus N1 - Includes references and index; na ER -