Victor Cacciari Miraldo -

Registered user since Tue 14 Aug 2018

Name: Victor Cacciari Miraldo

Affiliation: Utrecht University, Netherlands

Personal website: https://victorcmiraldo.github.io

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

Contributions

CPP 2021	Author of Formal Verification of Authenticated, Append-Only Skip Lists in Agda within the CPP 2021-track
PADL 2019	Author of Classes of Arbitrary Kind within the PADL 2019-track
Haskell 2018	Author of Generic Programming of All Kinds within the Haskell 2018-track
TyDe 2018	Author of Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming within the TyDe 2018-track Author of Authenticated Modular Maps in Haskell within the TyDe 2018-track
ICFP 2019	Author of An Efficient Algorithm for Type-Safe Structural Diffing within the Research Papers-track
TyDe 2017	Author of Type-directed diffing of structured data within the TyDe 2017-track