Coordonnées

Département d'informatique
Université du Québec à Montréal
CP 8888, Succ. Centre-ville
Montréal (Québec) H3C 3P8
Tél: 514-987-3000, #5516
Bureau: PK-4525
Courriel: blondin_masse[point]alexandre
[arobase]uqam[point]ca

À propos

J'ai complété mon doctorat en mathématiques-informatique sous la supervision des professeurs Srecko Brlek, de l'Université du Québec à Montréal, au Canada, et de Laurent Vuillon, de l'Université de Savoie, en France.

Depuis le 1er août 2014, je suis professeur adjoint à l'Université du Québec à Montréal, au Canada.

Liens utiles

Programmation fonctionnelle et logique

Bienvenue sur le site du cours Programmation fonctionnelle et logique - INF6120 que j'enseigne à l'automne 2019!

Annonces

20 août 2019
  • Activation du site

Documents

Tous les documents utilisés dans le cours sont disponibles sur le GitLab du département d'informatique

Ressources

Sur Haskell:

[1] GHC The Glasgow Haskell Compiler. Le principal compilateur Haskell.
[2] Cabal, the Common Architecture for Building Applications and Libraries, un système facilitant la distribution de bibliothèques Haskell.
[3] The Haskell Tool Stack, un outil de développement permettant de gérer l'installation et les dépendances.
[4] Haskell Platform. Le compilateur GHC, les outils Cabal et Stack, tous en un.
[5] Haddock: A Haskell Documentation Tool. Un logiciel permettant de générer de la documentation pour les programmes écrits en Haskell.
[6] Learn You a Haskell for a Great Good!, par Miran Lipovača. La ressource principale pour la première partie du cours sur Haskell.
[7] Apprendre Haskell vous fera le plus grand bien!, par Miran Lipovača, traduit par Valentin Robert.
[8] Real World Haskell, par Bryan O’Sullivan, Don Stewart et John Goerzen. L'approche est complémentaire et permet aux lecteurs de faire des commentaires.
[9] Purely Functional Data Structure, par Chris Osaki. Un classique sur la programmation fonctionnelle pure.

Sur Prolog:

[10] SWI-Prolog. Le principal compilateur Prolog libre disponible.
[11] Programming in Prolog, par William F. Clocksin et Christopher S. Mellish, Springer. La principale ressource pour la deuxième partie du cours sur Prolog. Disponible en ligne.
[12] Prolog, A tutorial Introduction, par James Lu et Jerud J. Mead.

Contenu

Le contenu abordé chaque semaine est détaillé dans le tableau ci-bas. Chaque cours magistral sera disponible sous format vidéo (à moins de problèmes techniques qui peuvent survenir pendant l'enregistrement).

Je me réserve la possibilité d'apporter des modifications sans préavis.

Semaine Date Contenu Lecture
1 3 sept Introduction  
2 10 sept    
3 17 sept    
4 24 sept    
5 1er oct    
6 8 oct    
7 15 oct    
8 22 oct Examen intra  
9 29 oct    
10 5 nov    
11 12 nov    
12 19 nov    
13 26 nov    
14 3 déc    
15 10 déc Examen final