Type Theory and Functional Programming (International Computer Science Series)
Full Title: | Type Theory and Functional Programming (International Computer Science Series) |
---|---|
ISBN: | 0201416670 |
ISBN13: | 9780201416671 |
List Price: | USD $50.00 |
Authors: |
Thompson, Simon |