Communication Dans Un Congrès
Année : 2009
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04379860
Soumis le : lundi 8 janvier 2024-15:31:05
Dernière modification le : samedi 1 mars 2025-15:27:05
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⟩
46
Consultations
0
Téléchargements