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

PADL 2019Author of Classes of Arbitrary Kind within the PADL 2019-track
Haskell 2018Author of Generic Programming of All Kinds within the Haskell 2018-track
TyDe 2018Author 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 2019Author of An Efficient Algorithm for Type-Safe Structural Diffing within the Research Papers-track
TyDe 2017Author of Type-directed diffing of structured data within the TyDe 2017-track