babel
Theory of subtyping
Contents
  1. Simple subtyping
  2. System F subtyping
  3. Subtyping recursive types
  4. Semantic Subtyping
Essential bibliography
  1. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce. Recursive Subtyping Revealed. Journal of Functional Programming, 12:511-548, 2002.
  2. G. Castagna and A. 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), July, 2005. Joint ICALP-PPDP keynote talk.
Advanced bibliography
  1. A. Frisch, G. Castagna and V. Benzaken. Semantic Subtyping: dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM 55(4):1-64, 2008.
  2. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-Centric General-Purpose Language. In ICFP '03, 8th ACM International Conference on Functional Programming, pag. 51―63, ACM Press, 2003.
  3. P.-L. Curien, G. Ghelli. Coherence of subsumption, minimum typing and type-checking in Fsub. Mathematical Structures in Computer Science, 2(1):55-91, 1992.
  4. B. Courcelle. Fundamental properties of infinite trees. Theoretical Computer Science, 25(2), 95-169, Elsevier, 1983.
Slides presented at the course
  1. Simple typing, second order, recursive types
  2. Semantic subtyping and XML programming
Final examination with answers:
  1. final 2010-2011 (covering this part and Xavier Leroy's part of the course)
  2. final 2011-2012 (covering this part and Yann Regis-Gianas's part of the course)
  3. final 2012-2013 (covering this part and Yann Regis-Gianas's part of the course)

Powered by CDuce

XHTML Strict valid!

CSS valid!

Site map
This site was generated by two CDuce programs: the first transforms BibTeX files into an XML document while the second generates from this and few other XML documents a set of statically certified XHTML-strict pages with table of contents, list of references, non-dangling internal links, etc. More details can be found here.Français fr