SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
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 : vendredi 24 mars 2023-14:53:14

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 INSTITUT-TELECOM CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE NANTES-UNIVERSITE
365 Consultations
257 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More