Show simple item record

dc.contributor.authorSiek, Jeremy
Taha, Walid
dc.date.accessioned 2017-08-02T22:03:04Z
dc.date.available 2017-08-02T22:03:04Z
dc.date.issued 2006-04-07
dc.identifier.urihttps://hdl.handle.net/1911/96348
dc.description.abstract This 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.
dc.format.extent 28 pp
dc.language.iso eng
dc.rights You 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).
dc.title Gradual Typing: Isabelle/Isar Formalization
dc.type Technical report
dc.date.note April 7, 2006
dc.identifier.digital TR06-874
dc.type.dcmi Text
dc.identifier.citation Siek, Jeremy and Taha, Walid. "Gradual Typing: Isabelle/Isar Formalization." (2006) https://hdl.handle.net/1911/96348.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record