Jacob Prinz
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Leonidas Lampropoulos15 talks
- Justin Lubin7 talks
- Zachary Kincaid9 talks
- Dorian Lesbre3 talks
- Işıl Dillig21 talks
- Sharon Shoham13 talks
| title | conference | date |
|---|---|---|
| Pantograph: A Fluid and Typed Structure Editor | POPL 2025 | 2025-01-19 |
Pantograph implements a structure editor that keeps programs as typing derivations by combining tree selection (one-hole contexts for cut/paste and reordering)… | ||
| Merging Inductive Relations | PLDI 2023 | 2023-06-17 |
Algorithm takes two inductive relations over the same data type and produces a single relation provably equivalent to their conjunction by constructor-pair… | ||
| nothing matches | ||