![](https://www.pdfsearch.io/img/d5d191b3f5186bd8b19345da80db30f2.jpg) Date: 2015-02-23 05:40:22
| | Chapter 8 Programming with GADTs ML-style variants and records make it possible to define many different data types, including many of the types we encoded in System F𝜔 in Chapter 2.4.1: booleans, sums, lists, trees,Add to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source Website File Size: 264,01 KBShare Document on Facebook
|