Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2015.4
URN: urn:nbn:de:0030-drops-52156
URL: https://drops.dagstuhl.de/opus/volltexte/2015/5215/
Takikawa, Asumu ; Feltey, Daniel ; Dean, Earl ; Flatt, Matthew ; Findler, Robert Bruce ; Tobin-Hochstadt, Sam ; Felleisen, Matthias
Towards Practical Gradual Typing
| pdf-format: |
|
Abstract
Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem; it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. This paper presents an implementation of a gradual type system for a full-featured class-based language as well as a novel performance evaluation framework for gradual typing.
BibTeX - Entry
@InProceedings{takikawa_et_al:LIPIcs:2015:5215,
author = {Asumu Takikawa and Daniel Feltey and Earl Dean and Matthew Flatt and Robert Bruce Findler and Sam Tobin-Hochstadt and Matthias Felleisen},
title = {{Towards Practical Gradual Typing}},
booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)},
pages = {4--27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-86-6},
ISSN = {1868-8969},
year = {2015},
volume = {37},
editor = {John Tang Boyland},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5215},
URN = {urn:nbn:de:0030-drops-52156},
doi = {10.4230/LIPIcs.ECOOP.2015.4},
annote = {Keywords: Gradual typing, object-oriented programming, performance evaluation}
}
| Keywords: | Gradual typing, object-oriented programming, performance evaluation | |
| Seminar: | 29th European Conference on Object-Oriented Programming (ECOOP 2015) | |
| Issue date: | 2015 | |
| Date of publication: | 29.06.2015 |
