Aymeric Fromherz

Registered user since Mon 28 Jan 2019

Name:Aymeric Fromherz
Affiliation:Inria

Contributions

ProLaLa 2022 Turning Catala into a Proof Platform for the Law
Show activities from other conferences

POPL 2022-profile
View general profile