SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References - Archive ouverte HAL
Article Dans Une Revue Proceedings of the ACM on Programming Languages Année : 2020

SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
popl20main-p219-p-a0fe6b0-43145-final.pdf (520.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Guilhem Jaber  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02388621

Soumis le : jeudi 12 décembre 2019-17:22:10

Dernière modification le : mercredi 30 octobre 2024-19:41:32

Archivage à long terme le : vendredi 13 mars 2020-23:40:04

Télécharger pour visualiser

Dates et versions

hal-02388621 , version 1 (12-12-2019)

Identifiants

Citer

Guilhem Jaber. SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References. Proceedings of the ACM on Programming Languages, In press, 28, pp.1-28. ⟨10.1145/3371127⟩. ⟨hal-02388621⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE ANR NANTES-UNIVERSITE
425 Consultations
281 Téléchargements

Altmetric

Partager

More