KafKa: Gradual typing for objects
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F18%3A00330695" target="_blank" >RIV/68407700:21240/18:00330695 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.12" target="_blank" >http://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.12</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.12" target="_blank" >10.4230/LIPIcs.ECOOP.2018.12</a>
Alternative languages
Result language
angličtina
Original language name
KafKa: Gradual typing for objects
Original language description
A wide range of gradual type systems have been proposed, providing many languages with the ability to mix typed and untyped code. However, hiding under language details, these gradual type systems embody fundamentally different ideas of what it means to be well-typed. In this paper, we show that four of the most common gradual type systems provide distinct guarantees, and we give a formal framework for comparing gradual type systems for object-oriented languages. First, we show that the different gradual type systems are practically distinguishable via a three-part litmus test. We present a formal framework for defining and comparing gradual type systems. Within this framework, different gradual type systems become translations between a common source and target language, allowing for direct comparison of semantics and guarantees. Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
R - Projekt Ramcoveho programu EK
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Leibniz International Proceedings in Informatics, LIPIcs
ISBN
978-3-95977-079-8
ISSN
—
e-ISSN
—
Number of pages
25
Pages from-to
—
Publisher name
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place of publication
—
Event location
Amsterodam
Event date
Jun 16, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—