[PLDI'23] Cutting the Cake: A Language for Fair Division | ACM SIGPLAN | Podwise