Practical Type Inference for the Gadt Type System (Paperback)Chuan-Kai Lin (author)
Paperback Published: 01/09/2011
- Not available
Publisher: Proquest, Umi Dissertation Publishing
Weight: 526 g
Dimensions: 246 x 189 x 15 mm
You may also be interested in...
Please sign in to write a review
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at