Leaf-First Zipper Semantics
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Sergueï Lenglet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04537440
Soumis le : mardi 9 avril 2024-11:02:13
Dernière modification le : lundi 2 décembre 2024-17:46:02
Archivage à long terme le : mercredi 10 juillet 2024-18:16:26
Dates et versions
Licence
Identifiants
- HAL Id : hal-04537440 , version 1
Citer
Sergueï Lenglet, Alan Schmitt. Leaf-First Zipper Semantics. 2024. ⟨hal-04537440⟩
Collections
75
Consultations
37
Téléchargements