Communication Dans Un Congrès
Année : 2018
Guilhem Jaber : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02083207
Soumis le : jeudi 28 mars 2019-18:34:57
Dernière modification le : jeudi 11 mai 2023-11:56:12
Citer
Guilhem Jaber, Nikos Tzevelekos. A Trace Semantics for System F Parametric Polymorphism. International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessaloniki, Greece. pp.20-38, ⟨10.1007/978-3-319-89366-2_2⟩. ⟨hal-02083207⟩
Collections
39
Consultations
0
Téléchargements