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

Identifiants

  • HAL Id : hal-04537440 , version 1

Citer

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

Partager

Gmail Mastodon Facebook X LinkedIn More