Victor Cacciari Miraldo - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

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

2018

Haskell

Generic Programming of All Kinds

TyDe

Show activities from other conferences

ICFP 2018-profile
View general profile