Registered user since Tue 12 Jan 2021
Name:Meven Lennon-Bertrand
Country:France
Affiliation:Inria – LS2N, Université de Nantes
Personal website:http://www.meven.ac
Contributions
| ICFP 2022 | A Reasonably Gradual Type Theory Typed and Untyped Algorithmic Conversion are Equivalent France in Evaluators within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile