Guillaume Allais - ICFP 2018

Registered user since Tue 31 Jan 2017

Name:Guillaume Allais

Country:Netherlands

Affiliation:Radboud University Nijmegen

Research interests:Functional Programming, Dependently Typed Programming

Contributions

ICFP 2018	A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
TyDe 2018	Committee Member in Program Committee within the TyDe 2018-track
Show activities from other conferences