Poplmark Challenge
Proposition de stage (niveau master 2)
Sujet:
Le PoplMark Challenge demande une formalisation
de certains aspects de la sémantique d'un prototype de langage de programmation fonctionnel typé nommé Fsub. La première partie du challenge,
ou partie 1a, a été traitée ici.
L'objet du stage consiste à traiter la partie 1b par la même méthode des "nested datatypes". Pour plus de détails, consulter les deux liens ci-dessus.
Encadrement:
Laboratoire d'accueil:
Cette page est accessible par internet: http://math.unice.fr/~ah/stages/poplmark1b.html.