<--- Back to Details
First PageDocument Content
Computing / Data types / Software engineering / Type theory / Mathematics / Rendering / Const / Record / Integer / Tagged union / Tuple / Type system
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

Similar Documents

Deserti, Julie; Grivaux, Julien  Automorphisms of rational surfaces with positive entropy. (English) Zbl  Indiana Univ. Math. J. 60, No. 5, ). The authors identify a systematic means of const

Deserti, Julie; Grivaux, Julien  Automorphisms of rational surfaces with positive entropy. (English) Zbl  Indiana Univ. Math. J. 60, No. 5, ). The authors identify a systematic means of const

DocID: 1xV3R - View Document

PDF Document

DocID: 1xQmY - View Document

PDF Document

DocID: 1xqNx - View Document

PDF Document

DocID: 1xmGj - View Document

PDF Document

DocID: 1vHvm - View Document