Browsing by Author "Siek, Jeremy"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Gradual Typing: Isabelle/Isar Formalization(2006-04-07) Siek, Jeremy; Taha, WalidThis report formalizes a gradual type system using the Isabelle/Isar proof language and proof assistant. Gradual typing combines static typing and dynamic typing in the same language, allowing a programmer to gradual migrate portions of a program between the two typing disciplines.