2 papers
cs.PL2024
Pantograph: A Fluid and Typed Structure Editor
Jacob Prinz, Henry Blanchette, Leonidas Lampropoulos
Structure editors operate directly on a program's syntactic tree structure. At first glance, this allows for the exciting possibility that such an editor could enforce correctness…
math.CO2017
The Muffin Problem
Guangiqi Cui, John Dickerson, Naveen Durvasula +6
You have muffins and students. You want to divide the muffins into pieces and give the shares to students such that every student has muffins. Find a divide-a…