Nicholas Labich

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Description Language

Information Retrieval

Efficiently Computing

Question Answering

Top Venues

Proc. ACM Program. Lang.

Publications

David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
Abstracting Definitional Interpreters. CoRR (2017)
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
Abstracting definitional interpreters (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn
Incremental computation with names. OOPSLA (2015)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn
Incremental Computation with Names. CoRR (2015)
J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn
Optimizing abstract abstract machines. ICFP (2013)