Communication Dans Un Congrès Année : 2009

Modeling abstract types in modules with open existential types

Benoît Montagu
Didier Rémy
Fichier non déposé

Dates et versions

hal-04379860 , version 1 (08-01-2024)

Identifiants

Citer

Benoît Montagu, Didier Rémy. Modeling abstract types in modules with open existential types. POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2009, Savannah GA USA, France. pp.354-365, ⟨10.1145/1480881.1480926⟩. ⟨hal-04379860⟩

Collections

46 Consultations
0 Téléchargements

Altmetric

Partager

  • More