Not registered as user yet

Name:Remi Desmartin
Affiliation:Heriot-Watt University

Contributions

ProLaLa 2023 Formalising Criminal Law in Catala
Show activities from other conferences

POPL 2023-profile
View general profile