conf.researchr.org / Guillaume Allais

Registered user since Tue 31 Jan 2017

Name: Guillaume Allais

Country: United Kingdom

Affiliation: University of St Andrews

Personal website: http://gallais.github.io

Research interests: Functional Programming, Dependently Typed Programming

Contributions

PEPM 2021 Committee Member in Program Committee within the PEPM 2021-track
TyDe 2020 Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track
PEPM 2020 Committee Member in Program Committee within the PEPM 2020-track
ICFP 2020 Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track
TyDe 2019 Author of Generic Level Polymorphic N-ary Functions within the TyDe 2019-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CoCoDo 2019 Author of Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs within the CoCoDo 2019-track
TyDe 2018 Committee Member in Program Committee within the TyDe 2018-track
ICFP 2018 Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
CPP 2017 Author of Type-and-scope safe programs and their proofs within the CPP-track
TTT 2017 Author of agdARGS - Declarative Hierarchical Command Line Interfaces within the TTT-track