Papers


2023

2020

  • , & (). A framework for resource dependent edsls in a dependently typed language (pearl). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2020.20
  • , & (). A framework for resource dependent edsls in a dependently typed language (artifact). Dagstuhl Artifacts Ser., 6(2). 02:1–02:3. https://doi.org/10.4230/DARTS.6.2.2
  • (). Type-driven development with idris. J. Funct. Program., 30. e16. https://doi.org/10.1017/S0956796820000143

2019

2018

2017

2015

2014

2013

2012