• Medientyp: Elektronischer Konferenzbericht; E-Artikel; Sonstige Veröffentlichung
  • Titel: Towards Practical Gradual Typing
  • Beteiligte: Takikawa, Asumu [VerfasserIn]; Feltey, Daniel [VerfasserIn]; Dean, Earl [VerfasserIn]; Flatt, Matthew [VerfasserIn]; Findler, Robert Bruce [VerfasserIn]; Tobin-Hochstadt, Sam [VerfasserIn]; Felleisen, Matthias [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/LIPIcs.ECOOP.2015.4
  • Schlagwörter: Gradual typing ; performance evaluation ; object-oriented programming
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: 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.
  • Zugangsstatus: Freier Zugang