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

WITS 2022 Author of Using Dependent Types at Scale: Maintaining the Agda Standard Library within the WITS 2022-track
PEPM 2021 Committee Member in Program Committee within the PEPM 2021-track
ICFP 2020 Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track
TyDe 2020 Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PEPM 2020 Committee Member in Program Committee within the PEPM 2020-track
TyDe 2019 Author of Generic Level Polymorphic N-ary Functions within the TyDe 2019-track
CoCoDo 2019 Author of Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs within the CoCoDo 2019-track
ICFP 2018 Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
TyDe 2018 Committee Member in Program Committee within the TyDe 2018-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