Back to Results
First PageMeta Content
Type systems / Procedural programming languages / Type theory / Data types / Gradual typing / Boo / Manifest typing / Higher-order function


The State of the Art in Gradual Typing Jeremy G. Siek Indiana University, Bloomington SICSA Summer School on Practical Types University of St. Andrews
Add to Reading List

Open Document

File Size: 599,97 KB

Share Result on Facebook