08/02/2001: Juliusz Chroboczek (PPS)
Sémantique des jeux, erreurs et sous-typage.
Résumé
Il y a quelque temps, j'ai montré comment l'introduction d'erreurs
explicites dans un modèle de jeux non-typés induisait naturellement une
notion de type et de sous-typage. Le modèle, quoique très satisfaisant en
lui-même, avait le défaut de n'être adéquat pour aucun lambda-calcul
familier.
Lors de cet exposé, je ferai une exposition (illustrée) du modèle non-typé
et des intuitions derrière le modèle typé. Je décrirai ensuite la syntaxe
pour laquelle ce modèle s'est finalement avéré être adéquat, et tâcherai
de vous convaincre qu'elle correspond à des
langages de programmation réalistes.