Romain Béguet

According to our database¹, Romain Béguet authored at least 2 papers between 2015 and 2023.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems.

[BibT_eX]

[DOI]

Romain Béguet

Raphaël Amiard

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

2015

Improving the Interoperation between Generics Translations.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Romain Béguet

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...