![Victor Cacciari Miraldo](https://icfp23.sigplan.org/getProfileImage/victorcacciarimiraldo/711611a4-13ad-4934-9cc2-91146928c1ab/small.jpg?1711504841000)
Registered user since Tue 14 Aug 2018
Name:Victor Cacciari Miraldo
Country:Netherlands
Affiliation:Channable
Personal website: https://victorcmiraldo.github.io
Research interests:Generic Programming, Dependent Types, Denotational Design, Agda, Haskell
Contributions
ICFP 2023-profile
View general profile
View general profile