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

2026

POPL

  • Workshops Co-Chair in Organizing Committee

2022

ML

  • Author of Necro ML: Generating OCaml Interpreters within the ML-track

CPP

  • Author of Certified Abstract Machines for Skeletal Semantics within the CPP 2022-track

2021

POPL

  • Committee Member in Program Committee within the POPL-track

2019

ML

  • Author of Necro: Animating Skeletons within the ML 2019-track

POPL

  • Author of Skeletal Semantics and their Interpretations within the Research Papers-track

2018

OCaml

  • Author of MLExplain within the OCaml 2018-track

ProWeb

  • Committee Member in Program Committee within the ProWeb 2018-track

CPP

  • Author of HOpi in Coq within the CPP 2018-track

2017

CoqPL

  • Session Chair of Morning Session (part of CoqPL 2017)

2016

CoqPL

  • Committee Member in Program Committee within the CoqPL-track
Share
xWed 18 Jun 20:50
using conf.researchr.org (v1.69.0)
Support page
Sign Up