Avoiding Signature Avoidance in ML Modules with Zippers - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles Proceedings of the ACM on Programming Languages Year : 2025

Avoiding Signature Avoidance in ML Modules with Zippers

Domains

Programming Languages [cs.PL]
Fichier principal
Vignette du fichier
zipml.author.pdf (795.29 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Gabriel Radanne  : Connect in order to contact the contributor

https://inria.hal.science/hal-04801582

Submitted on : Monday, November 25, 2024-11:13:31 AM

Last modification on : Wednesday, January 8, 2025-5:11:44 PM

Download

Dates and versions

hal-04801582 , version 1 (25-11-2024)

Licence

Attribution

Identifiers

Cite

Clément Blaudeau, Didier Rémy, Gabriel Radanne. Avoiding Signature Avoidance in ML Modules with Zippers. Proceedings of the ACM on Programming Languages, 2025, POPL (9), ⟨10.1145/3704902⟩. ⟨hal-04801582⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA CDF UNIV-LYON1 INRIA2 PSL UDL
111 View
36 Download

Altmetric

Share

More