Victor Lanvin

Orcid: 0000-0001-8449-4172

According to our database¹, Victor Lanvin authored at least 4 papers between 2017 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Revisiting occurrence typing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

2019

Gradual typing: a new perspective.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

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

[BibT_eX]

[DOI]

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2017

Gradual typing with union and intersection types.

[BibT_eX]

[DOI]

Giuseppe Castagna

Victor Lanvin

Proc. ACM Program. Lang., 2017

Victor Lanvin

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...