7 papers:
PADL-2013-Jeffrey #html #web- Dependently Typed Web Client Applications — FRP in Agda in HTML5 (AJ), pp. 228–243.
ICFP-2012-McBride #dependent type #programming- Agda-curious?: an exploration of programming with dependent types (CTM), pp. 1–2.
IFL-2012-ThiemannC- Agda Meets Accelerate (PT, MMTC), pp. 174–189.
- IFL-2012-WaltS #proving
- Engineering Proof by Reflection in Agda (PvdW, WS), pp. 157–173.
- ICFP-2011-DevrieseP #on the
- On the bright side of type classes: instance arguments in Agda (DD, FP), pp. 143–155.
- ICFP-2011-Takeyama #assurance #programming
- Programming assurance cases in Agda (MT), p. 142.
AFP-2008-Norell08 #programming- Dependently Typed Programming in Agda (UN), pp. 230–266.
