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
• Projet COCass :
  • Les sources du projet sont disponibles ici !
  • L'aide que je vous propose est disponible ici.
  • Vous ne trouvez pas la réponse à votre question ? Cliquez ici !
  • Module Format : un tutoriel et la référence
  • Objectifs à atteindre cette semaine : ex0.c ex1.c ex2.c ex3.c ex4.c ex5.c ex6.c ex7.c ex8.c ex9.c ex10.c ex11.c ex12.c
• Modalités du rendu du projet COCass (au plus tard le 18 janvier 2021 à 8h) Cliquez ici !

Génie Logiciel - M1

• Aller sur la page de David.

À propos du LSV

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