Travelled to:
1 × Sweden
Collaborated with:
D.R.Licata C.Angiuli R.Harper G. A. Kavvos N.Danner
Talks about:
function (1) program (1) homotop (1) extract (1) theori (1) recurr (1) patch (1) valu (1) push (1) call (1)
Person: Edward Morehouse
DBLP: Morehouse:Edward
Contributed to:
Wrote 2 papers:
- ICFP-2014-AngiuliMLH #topic
- Homotopical patch theory (CA, EM, DRL, RH), pp. 243–256.
- POPL-2020-KavvosMLD #call-by #functional #source code
- Recurrence extraction for functional programs through call-by-push-value (GAK, EM, DRL, ND), p. 31.