Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Victor Cacciari Miraldo

Registered user since Tue 14 Aug 2018

Name:Victor Cacciari Miraldo
Affiliation:Utrecht University, Netherlands
Research interests:Generic Programming, Dependent Types, Version Control, Structure Aware Diffing, Haskell, Agda

Contributions

PADL 2019 Classes of Arbitrary Kind
Show activities from other conferences

POPL 2019-profile
View general profile