• Sign in
  • Sign up
conf.researchr.org / Alan Schmitt
  • ICFP 2018 profile
  • ICFP 2019 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2021 profile
  • ‹Programming› 2018 profile
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

Share
xTue 26 Jan 14:28
using conf.researchr.org (v1.40.2)
Support page
Sign Up