SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References - Archive ouverte HAL Access content directly
Journal Articles Proceedings of the ACM on Programming Languages Year : 2020

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

(1, 2)
1
2
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⟩
298 View
233 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More