hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Gradual Typing for Functional Languages
University of Colorado, Boulder, CO, USA.
Rice University, Houston, TX, USA.
2007 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named $\lambda^?_\to$. Gradual typing provides the benefits of both static and dynamic checking in a single language by allowing the programmer to control whether a portion of the program is type checked at compile-time or run-time by adding or removing type annotations on variables. Several object-oriented scripting languages are preparing to add static checking. To support that work this paper develops $\mathbf{Ob}^{?}_{<:}$, a gradual type system for object-based languages, extending the Ob < : calculus of Abadi and Cardelli. Our primary contribution is to show that gradual typing and subtyping are orthogonal and can be combined in a principled fashion. We also develop a small-step semantics, provide a machine-checked proof of type safety, and improve the space efficiency of higher-order casts.

Place, publisher, year, edition, pages
Heidelberg: Springer, 2007. 2-27 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4609
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-20970DOI: 10.1007/978-3-540-73589-2_2Scopus ID: 2-s2.0-38149131740ISBN: 978-354073588-5 ISBN: 978-3-540-73589-2 OAI: oai:DiVA.org:hh-20970DiVA: diva2:588266
Conference
21st European Conference on Object-Oriented Programming, ECOOP 2007, Berlin, Germany, 30 July-3 August
Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2013-02-26Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 72 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf