• Sign in
  • Sign up
conf.researchr.org / Victor Cacciari Miraldo
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • POPL 2019 profile
  • POPL 2021 profile
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

Share
xWed 25 May 03:49
using conf.researchr.org (v1.55.6)
Support page
Sign Up