Registered user since Tue 14 Aug 2018

Name: Victor Cacciari Miraldo

Affiliation: University of Utrecht

Personal website:

Research interests: Generic Programming, Dependent Types, Version Control, Structure Aware Diffing, Haskell, Agda


Haskell 2018Author of Generic Programming of All Kinds within the Haskell 2018-track
TyDe 2018Author of Sums of Products for Mutually Recursive Datatypes within the TyDe 2018-track
Author of Authenticated Modular Maps in Haskell within the TyDe 2018-track
TyDe 2017Author of Type-directed diffing of structured data within the TyDe 2017-track