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
- Applet
- Documentation java du projet
- Voir le rapport en pdf
- Voir le rapport en ps
- Contact
l'Applet
retour au
sommaire
Contact
Encadrant : Emmanuel
CHAILLOUX
Etudiant:
retour au
sommaire