Jacob Prinz

Orcid: 0000-0002-2702-9319

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Pantograph: A Fluid and Typed Structure Editor.

[BibT_eX]

[DOI]

Jacob Prinz

Henry Blanchette

Leonidas Lampropoulos

CoRR, 2024

2023

Merging Inductive Relations.

[BibT_eX]

[DOI]

Jacob Prinz

Leonidas Lampropoulos

Proc. ACM Program. Lang., 2023

2022

Deeper Shallow Embeddings.

[BibT_eX]

[DOI]

Jacob Prinz

G. A. Kavvos

Leonidas Lampropoulos

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

2019

Guest Column: The Muffin Problem.

[BibT_eX]

[DOI]

SIGACT News, 2019

2018

A Muffin-Theorem Generator.

[BibT_eX]

[DOI]

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

Jacob Prinz

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...