J. Garrett Morris

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 27

Top Topics

Functional Programming

Cut Elimination

Top Venues

Proc. ACM Program. Lang.

Publications