Manifest typing

Manifest typing
Results: 1

#	Item
1	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 Source URL: dl.dropboxusercontent.com Language: English Type systems Procedural programming languages Type theory Data types Gradual typing Boo Manifest typing Higher-order function

UPDATE