Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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

ICFP 2019 An Efficient Algorithm for Type-Safe Structural Diffing
Show activities from other conferences

ICFP 2019-profile
View general profile