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