Abstract:
L'exposé sera pour un public de non spécialistes. J'essaierai de raconter ce qu'est un bon langage de programmation (selon moi) et donc ce qu'est PML. J'essaierai notamment d'expliquer les points suivants:
- quelques critères qui font un bon langage
- qu'est ce qu'un type (réponse une projection ou une identité partielle)
- qu'est ce qu'une spécification
- quels sont les treillis que l'on utilise pour exprimer les contraintes de types
- l'algorithme de typage.
Comme on aura pas le temps de tout faire... prévoir une suite (toujours pour un public de non spécialistes).