Practical type inference for the GADT type system.
by Chuan-kai Lin
| Publisher: | Unknows |
| Published In: | 30-Sep-2011 |
| ISBN-10: | 1244593273 |
| ISBN-13: | 9781244593275 |
| Binding Type: | Paperback |
| Weight: | 627 gms |
| Pages: | pp. 292, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Practical type inference for the GADT type system." is written by Chuan-kai Lin. This book was published in the year 3020. The ISBN number 1244593273|9781244593275 is assigned to the Paperback version of this title. This book has total of pp. 292 (Pages). The publisher of this title is Unknows. Practical type inference for the GADT type system. is currently Not Available with us.You can enquire about this book and we will let you know the availability.