babel
Advanced Programming course
Contents.
WORK IN PROGRESS: THIS PAGE IS TO BE COMPLETED, YET

While the reference language of the course will be OCaml, we will use code excerpts of Haskell, Scala, Perl 6, C#, Java, Erlang, Pascal, Python, Basic, CDuce, Xslt, ... . The idea is that we want to focus more on programming concepts rather than on programming in a particular language.
  • Module systems
    - 1. Introduction to modularity. - 2. ML simple modules. - 3. Functors. - 4. Advanced example.
  • Classes vs. Modules
    - 5. Modularity in OOP. - 6. Mixin Composition - 7. Multiple dispatch - 8. OCaml Classes - 9. Haskell’s Typeclasses - 10. Generics
  • Computational effects.
    - 11. Exceptions. - 12. Imperative features. - 13. Continuations
  • Program transformations
    - 14. The fuss about purity - 15. A Refresher Course on Operational Semantics - 16. Closure conversion - 17. Defunctionalization - 18. Exception passing style - 19. State passing style - 20. Continuations, generators, and coroutines - 21. Continuation passing style
  • Monadic Programming
    - 22. Invent your first monad - 23. More examples of monads - 24. Monads and their laws - 25. Program transformations and monads - 26. Monads as a general programming technique - 27. Monads and ML Functors
  • Concurrency and Parallelism
    - 28. Concurrency - 29. Preemptive multi-threading - 30. Mutexes, Conditional Variables, Monitors - 31. Doing without mutual exclusion - 32. Cooperative multi-threading - 33. Channeled communication - 34. Software Transactional Memory
  • Subtyping
    - 35. Simple Types - 36. Extensions: products, records, references - 37. A simple model of objects - 38. Parametric Types - 39. Recursive Types - 40. Semantic Subtyping - 41. Covariance and contravariance
  • XML Programming
    - XSLT. - CDuce.
Essential bibliography
  1. Emmanuel Chailloux,Pascal Manoury,Bruno Pagano. Développement d'applications avec Objective Caml
  2. Philip Wadler Monads for fuctional Programming In Advanced Functional Programming, Proceedings of the Baastad Spring School, May 1995, Springer Verlag Lecture Notes in Computer Science 925.
  3. Tim Harris. A Pragmatic Implementation of Non-Blocking Linked-Lists DISC 2001
  4. Maurice Herlihy, Nir Shavit. The Art of Multiprocessor Programming. Morgan-Kaufmann Elsevier.
  5. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce. Recursive Subtyping Revealed. Journal of Functional Programming, 12:511-548, 2002.
  6. 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. P. Sestoft and H Hansen. C# Precisely.
    A nice book on C#
  2. Bryan O'Sullivan, Don Stewart, and John Goerzen Real World Haskell.
    Online book for advanced programming in Haskell
  3. Dean Wampler, Alex Payne. Programming Scala. O'Reilly.
    Online book on Scala
  4. 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.
    The most complete reference about semantic subtyping
  5. 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.
    Reference paper about CDuce
  6. 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.
    Subtyping systems and algorithms for explicit polymorphic functions.
  7. T. Griffin. A Formulæ-as-Types Notion of Control. POPL 1990.
    It explains the logical role of callcc and CPS.
  8. Andrzej Filinski. Representing Monads. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
    It nicely explains the relation between Monads and CPS
  9. K. Fraser and T. Harris. Concurrent programming without locks. ACM Transactions on Computer Systems (TOCS), 25(2):146-196, May 2007
    Lock-free programming
Slides presented at the course
  1. Module Systems (in French)
  2. Classes vs. Modules (in English)
  3. Computational effects (in French)
  4. Program Transformations (in English)
  5. Monads (in English)
  6. Concurrency (in English)
Tutorials
Practical works are provided by Ocan Sankur and their contents can be found in this page.

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