Travelled to:1 × Denmark
1 × Sweden
Collaborated with:∅
Talks about:neighbour (1) program (1) curious (1) explor (1) depend (1) order (1) type (1) keep (1) agda (1)
Person: Conor Thomas McBride
DBLP: McBride:Conor_Thomas
Contributed to:
20142012Wrote 2 papers:
- ICFP-2014-McBride #how #order
- How to keep your neighbours in order (CTM), pp. 297–309.
- ICFP-2012-McBride #dependent type #programming
- Agda-curious?: an exploration of programming with dependent types (CTM), pp. 1–2.