Type Theory and Functional Programming (International Computer Science Series)

Programming

by Simon Thompson

Hardcover

details (USA).

ISBN: 978-0-201-41667-1

ISBN-10: 0-201-41667-0

Addison-Wesley · 1991