Back to Results
First PageMeta Content
Type theory / Software engineering / Programming language theory / Mathematical logic / Type systems / Data types / Gradual typing / Subtyping / Symbol / Type safety / Model theory / Type inference


Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA
Add to Reading List

Open Document

File Size: 388,49 KB

Share Result on Facebook