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
| CoqPL 2016 | Committee Member in Program Committee within the CoqPL-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile