A gentle introduction to semantic subtyping - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005
Fichier non déposé

Dates et versions

hal-00152690 , version 1 (07-06-2007)

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

Partager

Gmail Facebook X LinkedIn More