Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek. A space-efficient call-by-value virtual machine for gradual set-theoretic types. In Jurriën Stutterheim, Wei-Ngan Chin, editors, IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. ACM, 2019. [doi]
Abstract is missing.