Type Theory and Functional Programming (International Computer Science Series) - Hardcover

Thompson, Simon

 
9780201416671: Type Theory and Functional Programming (International Computer Science Series)