Lucas Franceschino

Orcid: 0000-0002-5683-0199

According to our database¹, Lucas Franceschino authored at least 3 papers between 2020 and 2021.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. (Verified Programming at the Intersection of Dependent Types and Static Analysis).

[BibT_eX]

[DOI]

Lucas Franceschino

PhD thesis, 2021

Verified Functional Programming of an Abstract Interpreter.

[BibT_eX]

[DOI]

Lucas Franceschino

David Pichardie

Jean-Pierre Talpin

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

LIO*: Low Level Information Flow Control in F.

[BibT_eX]

[DOI]

CoRR, 2020

Lucas Franceschino

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...