Registered user since Sun 16 Jan 2022

Name:Alain Delaët
Affiliation:INRIA, ENS Lyon

Contributions

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

POPL 2022-profile
View general profile