[english version below]
Bonjour à tous,
Pas de séminaire ce jeudi: la prochaine séance aura lieu jeudi 29 septembre à 11H en salle 1D23.
Nous accueillerons Nikos Tzvelekos de l'Université d'Oxford qui nous présentera l'article publié à LICS cet été.
Game Semantics for Good General References
Nikos Tzvelekos
Department of Computer Science, University of Oxford
Jeudi 29 septembre à 11H en 1D23
Résumé: We introduce a new fully abstract and effectively presentable denotational model for RefML, a paradigmatic higher-order programming language combining call-by-value evaluation and general references in the style of ML. Our model is built using game semantics. In contrast to the previous effectively presentable model by Abramsky, Honda and McCusker [AHM98], it provides a faithful account of reference types, and the full abstraction result does not rely on the availability of spurious constructs of reference type (bad variables). This is the first denotational model of this kind, preceded only by the trace model recently proposed by Laird [Lai07].
The talk presents our paper of the same title which appeared in LICS earlier this year.
=======
À NOTER: comme d'habitude, nous nous réunirons un peu avant le séminaire autour de café, thé et viennoiserie pour une rencontre informelle: venez un peu en avance!
=======
Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.
Amicalement,
Alexis
**********
**********
**********
Hi everyone,
No seminar this week! Next seminar will take place on thursday, septembre 29 at 11H in room 1D23.
Our speaker will be Nikos Tzvelekos from University of Oxford who will present his LICS 2011 paper on:
Game Semantics for Good General References
Nikos Tzvelekos
Department of Computer Science, University of Oxford
Thursday 29 september at 11am in room 1D23
Résumé: We introduce a new fully abstract and effectively presentable denotational model for RefML, a paradigmatic higher-order programming language combining call-by-value evaluation and general references in the style of ML. Our model is built using game semantics. In contrast to the previous effectively presentable model by Abramsky, Honda and McCusker [AHM98], it provides a faithful account of reference types, and the full abstraction result does not rely on the availability of spurious constructs of reference type (bad variables). This is the first denotational model of this kind, preceded only by the trace model recently proposed by Laird [Lai07].
The talk presents our paper of the same title which appeared in LICS earlier this year.
=======
Remember: as usual, we'll have an informal pre-seminar coffe-tea social meeting about 15 minutes prior to the seminar: you are welcome to arrive a bit in advance!
=======
More informations on PPS seminar at http://www.pps.jussieu.fr/seminaire.
Best regards,
Alexis
Aucun commentaire:
Enregistrer un commentaire