Gradual typing: a new perspective

Autor: Jeremy G. Siek, Tommaso Petrucciani, Giuseppe Castagna, Victor Lanvin

Publikováno v: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-32. ⟨10.1145/3290329⟩

We define a new, more semantic interpretation of gradual types and use it to ``gradualize'' two forms of polymorphism: subtyping polymorphism and implicit parametric polymorphism. In particular, we use the new interpretation to define three gradual t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdf2efd24d7a349d84cb44a41fc3026e
https://doi.org/10.1145/3290329

Blame and coercion: Together again for the first time

Autor: Peter Thiemann, Philip Wadler, Jeremy G. Siek

Publikováno v: Siek, J G, Thiemann, P & Wadler, P 2021, ' Blame and coercion: Together again for the first time ', Journal of Functional Programming, vol. 31, e20 . https://doi.org/10.1017/S0956796821000101
Siek, J, Thiemann, P & Wadler, P 2015, Blame and Coercion: Together Again for the First Time . in 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation : Portland OR 13-17 June 2015 . pp. 425-435 . https://doi.org/10.1145/2737924.2737968
PLDI

C#, Dart, Pyret, Racket, TypeScript, VB: many recent languages integrate dynamic and static types via gradual typing. We systematically develop four calculi for gradual typing and the relations between them, building on and strengthening previous wor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::363dbb0995e5325d78b9d8336b688187
https://doi.org/10.1017/s0956796821000101

Extrinsically typed operational semantics for functional languages

Autor: Jeremy G. Siek, Dale Miller, Matteo Cimini

Publikováno v: SLE
SLE 2020-13th ACM SIGPLAN/International Conference on Software Language Engineering
SLE 2020-13th ACM SIGPLAN/International Conference on Software Language Engineering, Nov 2020, Virtual, United States

International audience; We present a type system over language definitions that classifies parts of the operational semantics of a language in input, and models a common language design organization. The resulting typing discipline guarantees that th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42b5fb489d5082f4c68eeccc199826e0
https://doi.org/10.1145/3426425.3426936

A space-efficient call-by-value virtual machine for gradual set-theoretic types

Autor: Giuseppe Castagna, Victor Lanvin, Guillaume Duboc, Jeremy G. Siek

Publikováno v: IFL
31st International Symposium on Implementation and Application of Functional Languages (IFL '19)
31st International Symposium on Implementation and Application of Functional Languages (IFL '19), Sep 2019, Singapour, Singapore. ⟨10.1145/3412932.3412940⟩
31st International Symposium on Implementation and Application of Functional Languages (IFL '19), Sep 2019, Singapour, Singapore

International audience; We describe the design and implementation of a virtual machine for programming languages that use gradual typing with set-theoretic types focusing on practical issues such as runtime space efficiency, and efficient implementat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9c481432a7f84a2d975a1944725c8c9
https://doi.org/10.1145/3412932.3412940

Optimizing and Evaluating Transient Gradual Typing

Autor: Avik Chaudhuri, Jeremy G. Siek, Michael M. Vitousek

Publikováno v: DLS

Gradual typing enables programmers to combine static and dynamic typing in the same language. However, ensuring a sound interaction between the static and dynamic parts can incur significant runtime cost. In this paper, we perform a detailed performa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2172be9d4d1c847b0f5b1a063a5ab30a