Nicholas Labich

According to our database, Nicholas Labich authored at least 4 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Abstracting definitional interpreters (functional pearl).

David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn

Proc. ACM Program. Lang., 2017

Abstracting Definitional Interpreters.

David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn

CoRR, 2017

2015

Incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2013

Optimizing abstract abstract machines.

Dionna Amalie Glaze, Nicholas Labich, Matthew Might, David Van Horn

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013