Person. Antoine Voizard

Papers

A Specification for Dependent Types in Haskell weirich_etal_2017ICFP · 2017
PDF · DOI · pldb
antoinevoizard person entries/rolodex/antoinevoizard.hel