| Abstract
|
<p>Static and dynamic type systems h … <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?<:,a gradual type system for object-based languages, extending the Ob<: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>e efficiencyof higher-order casts.</p>
|
| Author
|
Jeremy Siek +
, Walid Taha +
|
| Conference
|
21st European Conference on Object-Oriented Programming (ECOOP 2007), Tech Univ Berlin, Berlin, GERMANY, JUL 30-AUG 03, 2007
|
| DOI
|
http://dx.doi.org/10.1007/978-3-540-73589-2_2 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588261
|
| EndPage
|
27 +
|
| HostPublication
|
ECOOP 2007 – Object-Oriented Programming : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Springer Berlin/Heidelberg +
|
| Series
|
Lecture Notes in Computer Science ; 4609 +
|
| StartPage
|
2 +
|
| Title
|
Gradual typing for objects +
|
| Year
|
2007 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
, Publications:Gradual typing for objects +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:45:00 +
|
