A space-efficient call-by-value virtual machine for gradual set-theoretic types - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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

Résumé

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 implementation of tail recursive calls.
Fichier principal
Vignette du fichier
main.pdf (991.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02351383 , version 1 (06-11-2019)

Identifiants

Citer

Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G Siek. A space-efficient call-by-value virtual machine for gradual set-theoretic types. 31st International Symposium on Implementation and Application of Functional Languages (IFL '19), Sep 2019, Singapour, Singapore. ⟨10.1145/3412932.3412940⟩. ⟨hal-02351383⟩
111 Consultations
108 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More