SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
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