A gentle introduction to semantic subtyping

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00152690
Contributor : Giuseppe Castagna <>
Submitted on : Thursday, June 7, 2007 - 11:56:17 AM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM

Identifiers

  • 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. ⟨hal-00152690⟩

Share

Metrics

Record views

227