Gradual Typing: Isabelle/Isar Formalization

Simple item page
dc.contributor.authorSiek, Jeremyen_US
dc.contributor.authorTaha, Waliden_US
dc.date.accessioned2017-08-02T22:03:04Zen_US
dc.date.available2017-08-02T22:03:04Zen_US
dc.date.issued2006-04-07en_US
dc.date.noteApril 7, 2006en_US
dc.description.abstractThis 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.en_US
dc.format.extent28 ppen_US
dc.identifier.citationSiek, Jeremy and Taha, Walid. "Gradual Typing: Isabelle/Isar Formalization." (2006) https://hdl.handle.net/1911/96348.en_US
dc.identifier.digitalTR06-874en_US
dc.identifier.urihttps://hdl.handle.net/1911/96348en_US
dc.language.isoengen_US
dc.rightsYou are granted permission for the noncommercial reproduction, distribution, display, and performance of this technical report in any format, but this permission is only for a period of forty-five (45) days from the most recent time that you verified that this technical report is still available from the Computer Science Department of Rice University under terms that include this permission. All other rights are reserved by the author(s).en_US
dc.titleGradual Typing: Isabelle/Isar Formalizationen_US
dc.typeTechnical reporten_US
dc.type.dcmiTexten_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR06-874.pdf
Size:
160.91 KB
Format:
Adobe Portable Document Format
Download
Collections
Computer Science Technical Reports