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

GitHub: https://github.com/gallais

Research interests:Functional Programming, Dependently Typed Programming

Contributions

2023

EVCS

Author of Type Theory as a Language Workbench within the Eelco Visser Commemorative Symposium-track

PEPM

Author of Modular Construction of Multi-sorted Free Extensions within the PEPM 2023-track

2022

WITS

Author of Using Dependent Types at Scale: Maintaining the Agda Standard Library within the WITS 2022-track

2021

PEPM

Committee Member in Program Committee within the PEPM 2021-track

2020

ICFP

Author of POPLMark reloaded: Mechanizing proofs by logical relations within the ICFP Program-track

TyDe

Author of Frex: indexing modulo equations with free extensions (Extended Abstract) within the TyDe 2020-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PEPM

Committee Member in Program Committee within the PEPM 2020-track

2019

TyDe

Author of Generic Level Polymorphic N-ary Functions within the TyDe 2019-track

CoCoDo

Author of Scrap your DSL Boilerplate with a Universe of Syntaxes, their Programs and Proofs within the CoCoDo 2019-track

2018

ICFP

Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track

TyDe

Committee Member in Program Committee within the TyDe 2018-track

2017

CPP

Author of Type-and-scope safe programs and their proofs within the CPP-track

TTT

Author of agdARGS - Declarative Hierarchical Command Line Interfaces within the TTT-track