Tomas Petricek

Registered user since Wed 2 Sep 2015

Name:Tomas Petricek
Affiliation:University of Cambridge, UK

Contributions

PLDI 2016 Types from data: Making structured data first-class citizens in F#
Show activities from other conferences

PLDI 2016-profile
View general profile