Alan Schmitt -

Registered user since Fri 28 Sep 2018

Name:Alan Schmitt

Country:France

Affiliation:Inria

Personal website:http://people.rennes.inria.fr/Alan.Schmitt/

Contributions

POPL 2021	Committee Member in Program Committee within the POPL-track
ML 2019	Author of Necro: Animating Skeletons within the ML 2019-track
POPL 2019	Author of Skeletal Semantics and their Interpretations within the Research Papers-track
OCaml 2018	Author of MLExplain within the OCaml 2018-track
ProWeb 2018	Committee Member in Program Committee within the ProWeb 2018-track
CPP 2018	Author of HOpi in Coq within the CPP 2018-track
CoqPL 2017	Session Chair of Morning Session (part of CoqPL 2017)
CoqPL 2016	Committee Member in Program Committee within the CoqPL-track