A gentle introduction to semantic subtyping

Type de document :
Communication dans un congrès
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. 2005, Joint ICALP-PPDP keynote talk
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00152690
Contributeur : Giuseppe Castagna <>
Soumis le : jeudi 7 juin 2007 - 11:56:17
Dernière modification le : vendredi 25 mai 2018 - 12:02:07

Identifiants

  • HAL Id : hal-00152690, version 1

Collections

Citation

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. 2005, Joint ICALP-PPDP keynote talk. 〈hal-00152690〉

Partager

Métriques

Consultations de la notice

224