Leaf-First Zipper Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Dates et versions

hal-04537440 , version 1 (09-04-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04537440 , version 1

Citer

Sergueï Lenglet, Alan Schmitt. Leaf-First Zipper Semantics. 2024. ⟨hal-04537440⟩
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More