conf.researchr.org / Victor Cacciari Miraldo
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