LIPIcs.ECOOP.2015.4.pdf
- Filesize: 0.84 MB
- 24 pages
Document
Towards Practical Gradual Typing
Authors
-
Part of:
Volume:
29th European Conference on Object-Oriented Programming (ECOOP 2015)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: European Conference on Object-Oriented Programming (ECOOP) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2015-06-29
Cite As Get BibTex
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, and Matthias Felleisen. Towards Practical Gradual Typing. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 4-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.ECOOP.2015.4
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.
Subject Classification
Keywords
- Gradual typing
- object-oriented programming
- performance evaluation
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads