
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