Registered user since Mon 13 Jun 2016
I am a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and metaprogramming. I am currently working on a new implementation of Idris, a dependently typed functional programming language. When I’m not doing that, you might find me playing Go (I’m about 2 kyu), walking up a hill, watching a game of cricket, or waiting for a delayed train. I’m afraid I also perpetrated the Whitespace programming language.
|ECOOP 2020|| A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact)|
A Framework for Resource Dependent EDSLs in a Dependently Typed Language
|SPLASH 2020||Quantitative Types in Idris 2|
|Show activities from other conferences|
View general profile