279 citations · 1.4k across the 46 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 1 cited
Cutting the Cake: A Language for Fair Division
Noah Bertram, Alex Levinson, Justin Hsu
The fair division literature in economics considers how to divide resources between multiple agents such that the allocation is envy-free: each agent receives their favorite piece.…
cs.PL2023
Separated and Shared Effects in Higher-Order Languages
Pedro H. Azevedo de Amorim, Justin Hsu
Effectful programs interact in ways that go beyond simple input-output, making compositional reasoning challenging. Existing work has shown that when such programs are ``separate''…