Transparents des cours

Les transparents pour l'année 2010-2011 seront disponibles sur WebCampus

Matériaux encadrants

• W. Vanhoof. Programmation fonctionnelle (Haskell). Un résumé (25 pages, en français) des cours. Attention : ce résumé ne couvre qu'une partie des sujets traîtés aux cours.

Matériaux complémentaires

Les ouvrages ci-dessous ne servent qu'à clarifier et à compléter les cours. Ils ne sont donc pas à étudier mais pourraient néanmoins servir comme un auxliaire d'étude.

• P. Hudak, J. Peterson, J. Fasel. A Gentle Introduction to Haskell. Un résumé (64 pages, en anglais) comprenant les concepts principaux sous-jacents à Haskell. Ce résumé couvre une bonne partie des cours mais parle également de quelques sujets que nous n'avons pas vus. Egalement disponible en version html
• Chapitres 1, 2, 3, 6 et 7 de U. Nilsson, J. Maluszynski. Logic, programming and Prolog (2ed).

Références

• G. Hutton. Programming in Haskell. Cambridge University Press, 2007.
• S. Peyton-Jones (ed.). Haskell 98 Language and Libraries - The Revised Report
• R. Bird, Introduction to Functional Programming using Haskell, (2nd edition). Prentice Hall, 1998.
• S. Thompson, The Craft of Functional Programming. Addison Wesley, 1996.
• H. Abelson, G.J. Sussman, J. Sussman. Structure and Interpretation of Computer Programs. The MIT Press, 1985
• A. Aho, J. Ullman. Concepts fondamentaux de l'informatique. Freeman and Company, 1992. Dunod, Paris, 1993.

• L. Sterling, E. Shapiro. The art of Prolog. MIT Press, 1986.
• U. Nilsson, J. Maluszynski. Logic, programming and Prolog (2ed). 2000.
• Y. Deville. Logic Programming: Systematic Program Development. Addison-Wesley, 1990.