Title: Type theory and functional programming
First published: 1991
Subjects: Type theory, Functional programming (Computer science)
LC classification: QA76.62 .T46 1991