Ce projet est un dépôt de code source pour le cours UE LIFPF INF2030L Programmation Fonctionnelle du semestre 2024 Printemps. Il contient des diapositives, des sujets de TD, de TP et de CM, ainsi que des corrigés et des configurations pour les salles de TP. Les thèmes abordés dans ce cours sont le lambda-calcul, le langage de programmation OCaml, les structures de données récursives, les foncteurs, et l'ordre supérieur.

CDUCE est un langage de programmation adapté à la manipulation de documents XML. Il a été conçu et développé dans le cadre d'un projet de recherche conjoint entre le groupe Langages de l'ENS (Paris) et le groupe Base de données du LRI (Orsay). L'implémentation actuelle a été écrite pour démontrer les fonctionnalités innovantes du langage et valider les choix de conception. Il s'agit d'un prototype de recherche, pas d'une application robuste. Cependant, il a été signalé qu'il fonctionne correctement dans un environnement de production.

Ce projet est un compilateur qui prend en entrée des fichiers écrits dans un langage spécifique et génère du code source dans un autre langage. Il effectue l'analyse syntaxique et sémantique du code source, ainsi que des optimisations pour améliorer les performances du code généré.

OTAWA est un outil d'analyse et d'optimisation de performances de code logiciel sur des architectures matérielles spécifiques. Il permet de générer des rapports d'analyse détaillés et de proposer des optimisations de code pour améliorer les performances.

WSymb est un outil d'analyse de la complexité temporelle des programmes informatiques. Il permet de calculer la durée d'exécution potentielle maximale d'un programme en générant des formules symboliques pour représenter les temps d'exécution.