Jacob Prinz

According to our database, Jacob Prinz authored at least 5 papers between 2018 and 2025.

Collaborative distances:

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

2025

Pantograph: A Fluid and Typed Structure Editor.

Jacob Prinz, Henry Blanchette, Leonidas Lampropoulos

Proc. ACM Program. Lang., 2025

2023

Merging Inductive Relations.

Jacob Prinz, Leonidas Lampropoulos

Proc. ACM Program. Lang., 2023

2022

Deeper Shallow Embeddings.

Jacob Prinz, G. A. Kavvos, Leonidas Lampropoulos

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2019

Guest Column: The Muffin Problem.

William Gasarch, Scott Huddleston, Erik Metz, Jacob Prinz

SIGACT News, 2019

2018

A Muffin-Theorem Generator.

Guangqi Cui, John P. Dickerson, Naveen Durvasula, William Gasarch, Erik Metz, Jacob Prinz, Naveen Raman, Daniel Smolyak, Sung Hyun Yoo

Proceedings of the 9th International Conference on Fun with Algorithms, 2018