[PLDI'23] Better Defunctionalization through Lambda Set Specialization | ACM SIGPLAN | Podwise