Victor Cacciari Miraldo

Registered user since Tue 14 Aug 2018

Name:Victor Cacciari Miraldo

Affiliation:Utrecht University, Netherlands

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

Contributions

Haskell 2018	Generic Programming of All Kinds
TyDe 2018	Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming Authenticated Modular Maps in Haskell
Show activities from other conferences