A Trace Semantics for System F Parametric Polymorphism - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

A Trace Semantics for System F Parametric Polymorphism

Guilhem Jaber
  • Fonction : Auteur
  • PersonId : 1047399

Dates et versions

hal-02083207 , version 1 (28-03-2019)

Identifiants

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⟩
34 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More