First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 264,01 KBShare Document on Facebook |