Edward Morehouse

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 5

Top Topics

Multiresolution

Functional Programs

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
Recurrence extraction for functional programs through call-by-push-value. Proc. ACM Program. Lang. 4 (POPL) (2020)
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version). CoRR (2019)
Ulrik Buchholtz, Edward Morehouse
Varieties of Cubical Sets. CoRR (2017)
Ulrik Buchholtz, Edward Morehouse
Varieties of Cubical Sets. RAMiCS (2017)
Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper
Homotopical patch theory. J. Funct. Program. 26 (2016)
Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper
Homotopical patch theory. ICFP (2014)