Back to Results
First PageMeta Content
Type theory / Data types / Functional languages / Object-oriented programming / Procedural programming languages / Type system / Type safety / Subtype polymorphism / Polymorphism / Software engineering / Computing / Programming language theory


Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† †
Add to Reading List

Document Date: 2011-08-12 16:48:39

Open Document

File Size: 274,35 KB

Share Result on Facebook

Company

Santa Cruz Abstract Software systems / UnaryOp / Pure Type Systems / /

Facility

Cormac Flanagan† Williams College / Aaron Tomb† University of California / Functional Programming Workshop University of Chicago Technical Report TR-2006-06 Stephen N. Freund‡ / /

IndustryTerm

software system / compilation algorithm / function applications / then search / else search / call site / binary search trees / software development / type operator / /

Organization

Aaron Tomb† University / University of California / Santa Cruz / Williams College / Sum Unit / Scheme and Functional Programming Workshop University of Chicago Technical Report TR-2006-06 Stephen N. Freund‡ / /

Person

Jessica Gronski† Kenneth Knowles / /

/

Position

evaluator / programmer / /

Product

Sage / /

ProgrammingLanguage

E / SQL / ML / T / Java / /

ProvinceOrState

California / /

Technology

Alpha / Functional Programming / compilation algorithm / Java / /

SocialTag