Communication Dans Un Congrès
Année : 2005
Giuseppe Castagna : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00152690
Soumis le : jeudi 7 juin 2007-11:56:17
Dernière modification le : vendredi 19 avril 2024-16:18:55
Dates et versions
Identifiants
- HAL Id : hal-00152690 , version 1
Citer
Giuseppe Castagna, Alain Frisch. A gentle introduction to semantic subtyping. Proceedings of PPDP '05, the 7th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, pages 198-208, ACM Press (full version) and ICALP '05, 32nd International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science n. 3580, pages 30-34, Springer (summary), 2005, Portugal. ⟨hal-00152690⟩
111
Consultations
0
Téléchargements