First Page | Document Content | |
---|---|---|
Date: 2012-08-08 19:10:59Computing Data types Software engineering Type theory Mathematics Rendering Const Record Integer Tagged union Tuple Type system | A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview AveAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source WebsiteFile Size: 138,94 KBShare Document on Facebook |
Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data typesDocID: 1p68M - View Document | |
Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of PennsylvaniaDocID: 1oU2n - View Document | |
1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their iDocID: 1maki - View Document | |
Generating member functions and operators by tagged fields in a C++ Zal´an Sz˝ugyi Gergely Kl´arDocID: 18rMN - View Document | |
A Generic Deriving Mechanism for Haskell Jos´e Pedro Magalh˜aes1 Atze Dijkstra1 Johan Jeuring1,2DocID: 13wFC - View Document |