Guillaume Allais - POPL 2020

Registered user since Tue 31 Jan 2017

Name:Guillaume Allais

Country:United Kingdom

Affiliation:University of Strathclyde

Research interests:Functional Programming, Dependently Typed Programming

Contributions

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
Show activities from other conferences