[WITS'24] Efficient Evaluation with Controlled Definition Unfolding | ACM SIGPLAN | Podwise