Projet de Typage Et Polymorphisme

Master2 Recherche STL AP

Encadrant : Emmanuel CHAILLOUX
Hakim BELHAOUARI et Raimana TEINA

Notre projet de TEP consiste à la réalisation d'une applet permettant de visualiser l'inférence de type d'une expression excrite en lambda calcul simplement typé.


Sommaire

  1. Applet
  2. Documentation java du projet
  3. Voir le rapport en pdf
  4. Voir le rapport en ps
  5. Contact


l'Applet


retour au sommaire






Contact

Encadrant : Emmanuel CHAILLOUX

Etudiant:

retour au sommaire