SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Proceedings of the ACM on Programming Languages Year : 2020

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

Fichier principal
Vignette du fichier
popl20main-p219-p-a0fe6b0-43145-final.pdf (520.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
365 View
257 Download

Altmetric

Share

Gmail Facebook X LinkedIn More