Avoiding Signature Avoidance in ML Modules with Zippers

Clement Blaudeau, Didier Rémy, Gabriel Radanne. Avoiding Signature Avoidance in ML Modules with Zippers. Proceedings of the ACM on Programming Languages, 9(POPL):1962-1991, 2025. [doi]

Abstract

Abstract is missing.