TY - BOOK AU - Huet, Gerard, editor. TI - Logical foundations of functional programming SN - 0201172348 U1 - FOR 005.11 L82 1990 PY - 1990/// CY - Reading, Massachusetts PB - Addison-Wesley Publishing Company KW - Functional programming (Computer science) ER -