Not registered as user yet

Name:Guillaume Ambal
Affiliation:Univ. Rennes

Contributions

CPP 2022 Certified Abstract Machines for Skeletal Semantics
Show activities from other conferences

Using general profile