A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave

First Page		Document Content
Date: 2012-08-08 19:10:59 Computing 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 Ave Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 138,94 KB Share Document on Facebook

	Programovací jazyky F# a OCaml Chapter 3. Composing primitive types into data Data types DocID: 1p68M - View Document
	Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania DocID: 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 i DocID: 1maki - View Document
	Generating member functions and operators by tagged fields in a C++ Zal´an Sz˝ugyi Gergely Kl´ar DocID: 18rMN - View Document
	A Generic Deriving Mechanism for Haskell Jos´e Pedro Magalh˜aes1 Atze Dijkstra1 Johan Jeuring1,2 DocID: 13wFC - View Document