Amélie LEDEIN

Doctorante

Depuis le 1er octobre 2020, je suis en thèse sous la direction de Frédéric BLANQUI et Catherine DUBOIS. Notre objectif est d'introduire la notion de type inductif dans Dedukti, outil développé au sein de l'équipe DEDUCTEAM.

Enseignement

Projet de programmation OCaml - L3

• Sujet du TP n°1 - OCaml :
  • Exercice 6 - Réalisation d'une calculatrice à l'ancienne : Source et un meilleur Makefile.
  • Exercice 9 - Blooming : Source
• Sujet du Mini-projet n°1 - Fling :
  • Ce mini-projet est à rendre au plus tard le 25 octobre 2020 inclus.
  • Fichiers sources à compléter
    Makefile pour ceux qui ont des problèmes avec le premier.
• Cheatsheets :
  • Vim
  • Emacs
  • Tuareg mode
  • OCaml language
  • OCaml standard libraries
  • Shell
  • Assembleur
  • Registres

Génie Logiciel - M1

• Aller sur la page de David.

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact