https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AGradual_typing_for_objectsPublications:Gradual typing for objects - Revision history2026-05-22T19:29:40ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:Gradual_typing_for_objects&diff=4284&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jeremy Siek, Walid Taha |PID=588261 |Name=Siek, Jeremy (University of Color..."2014-06-26T03:45:00Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jeremy Siek, Walid Taha |PID=588261 |Name=Siek, Jeremy (University of Color..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Jeremy Siek, Walid Taha<br />
|PID=588261<br />
|Name=Siek, Jeremy (University of Colorado, Boulder, CO 80309, United States);Taha, Walid [waltah] (Rice University, Houston, TX 77005, United States)<br />
|Title=Gradual typing for objects<br />
|PublicationType=Conference Paper<br />
|ContentType=Refereegranskat<br />
|Language=eng<br />
|Journal=<br />
|JournalISSN=<br />
|Status=<br />
|Volume=<br />
|Issue=<br />
|HostPublication=ECOOP 2007 – Object-Oriented Programming : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings<br />
|Conference=21st European Conference on Object-Oriented Programming (ECOOP 2007), Tech Univ Berlin, Berlin, GERMANY, JUL 30-AUG 03, 2007<br />
|StartPage=2<br />
|EndPage=27<br />
|Year=2007<br />
|Edition=<br />
|Pages=<br />
|City=Berlin<br />
|Publisher=Springer Berlin/Heidelberg<br />
|Series=Lecture Notes in Computer Science ; 4609<br />
|SeriesISSN=0302-9743<br />
|ISBN=978-3-540-73588-5;978-3-540-73589-2<br />
|Urls=<br />
|ISRN=<br />
|DOI=http://dx.doi.org/10.1007/978-3-540-73589-2_2<br />
|ISI=000249124000001<br />
|PMID=<br />
|ScopusId=2-s2.0-38149131740<br />
|NBN=urn:nbn:se:hh:diva-20966<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=Formal languages;Semantics<br />
|Categories=Datorsystem (20206)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<p>Static and dynamic type systems have well-known strengthsand weaknesses. In previous work we developed a gradual type system fora functional calculus named λ?→. Gradual typing provides the benefits ofboth static and dynamic checking in a single language by allowing theprogrammer to control whether a portion of the program is type checkedat compile-time or run-time by adding or removing type annotations onvariables. Several object-oriented scripting languages are preparing toadd static checking. To support that work this paper develops Ob?&lt;:,a gradual type system for object-based languages, extending the Ob&lt;:calculus of Abadi and Cardelli. Our primary contribution is to show thatgradual typing and subtyping are orthogonal and can be combined in aprincipled fashion. We also develop a small-step semantics, provide amachine-checked proof of type safety, and improve the space efficiencyof higher-order casts.</p><br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2013-01-14<br />
|PublicationDate=2013-01-15<br />
|LastUpdated=2013-02-15<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588261}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek