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 |