Registered user since Fri 28 Sep 2018
Name:Alan Schmitt
Bio:
Researcher at INRIA, Research Center Rennes - Bretagne Atlantique, Celtique Project-Team, in the IRISA laboratory.
Affiliation:Inria
Personal website: https://www.irisa.fr/celtique/aschmitt/
Contributions
POPL 2016-profile
View general profile
View general profile