Y Huang,
J Yallop - Proceedings of the ACM on Programming …, 2023 - dl.acm.org
The defunctionalization translation that eliminates higher-order functions from programs
forms a key part of many compilers. However, defunctionalization for dependently-typed …