Type theory and functional programming /
Thompson, Simon.
Wokingham : Addison-Wesley,
1991.
Includes bibliographical references (p. ) and index.
Functional programming (Computer science)
Type theory.