<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Type systems Procedural programming languages Type theory Data types Gradual typing Boo Manifest typing Higher-order function |
|
| First Page | Document 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