ECOOP and ISSTA 2021 (series) / ECOOP 2021 (series) / ECOOP Artifacts / Idris 2: Quantitative Type Theory in Practice
Idris 2: Quantitative Type Theory in PracticeDistinguished Artifact Award
Lecturer in Computer Science at the University of St Andrews
