Avoiding Signature Avoidance in ML Modules with Zippers - INRIA - Institut National de Recherche en Informatique et en Automatique
Article Dans Une Revue Proceedings of the ACM on Programming Languages Année : 2025

Avoiding Signature Avoidance in ML Modules with Zippers

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
zipml.author.pdf (795.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Gabriel Radanne  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 25 novembre 2024-11:13:31

Dernière modification le : mardi 26 novembre 2024-08:23:41

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA CDF UNIV-LYON1 INRIA2 PSL UDL
0 Consultations
0 Téléchargements

Altmetric

Partager

More