Towards practical gradual typing

Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations


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.

Original languageEnglish (US)
Title of host publication29th European Conference on Object-Oriented Programming, ECOOP 2015
EditorsJohn Tang Boyland
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages24
ISBN (Electronic)9783939897866
StatePublished - Jul 1 2015
Event29th European Conference on Object-Oriented Programming, ECOOP 2015 - Prague, Czech Republic
Duration: Jul 5 2015Jul 10 2015

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
ISSN (Print)1868-8969


Other29th European Conference on Object-Oriented Programming, ECOOP 2015
Country/TerritoryCzech Republic


  • Gradual typing
  • Object-oriented programming
  • Performance evaluation

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Towards practical gradual typing'. Together they form a unique fingerprint.

Cite this