Type Theory and Functional Programming

Type Theory and Functional Programming

By
Simon Thompson
Simon Thompson
1991
Type Theory and Functional Programming

Type Theory and Functional Programming

Type: Physical Book

Language: English

Release Date: 1991-08-01

ISBN 10: 0201416670

ISBN 13: 9780201416671

Readers: 1

Country: United States of America