Travelled to:1 × USA
Collaborated with:T.Schrijvers S.Weirich B.Delaware B.C.d.S.Oliveira
Talks about:boilerpl (1) modular (1) theori (1) binder (1) needl (1) monad (1) meta (1) knot (1) tie (1) up (1)
Person: Steven Keuchel
DBLP: Keuchel:Steven
Contributed to:
2013
2016Wrote 2 papers:
- ICFP-2013-DelawareKSO #composition #monad
- Modular monadic meta-theory (BD, SK, TS, BCdSO), pp. 319–330.
- ESOP-2016-KeuchelWS
- Needle & Knot: Binder Boilerplate Tied Up (SK, SW, TS), pp. 419–445.