Victor Lanvin

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Virtual Machine

Top Venues

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen
Revisiting occurrence typing. Sci. Comput. Program. 217 (2022)
Victor Lanvin, Mickaël Laurent, Kim Nguyen, Giuseppe Castagna
Revisiting Occurrence Typing. CoRR (2019)
Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek
Gradual typing: a new perspective. Proc. ACM Program. Lang. 3 (POPL) (2019)
Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek
A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL (2019)
Giuseppe Castagna, Victor Lanvin
Gradual typing with union and intersection types. Proc. ACM Program. Lang. 1 (ICFP) (2017)