[GdT Log&Prog] [SEMINAIRE LCR] Flavien Breuvart, 12/05/2017 11:00

MONADES ET COMONADES (SUITE) Flavien Breuvart, LIPN Salle B107, bâtiment B, Université de Villetaneuse 12/05/2017 11:00 - 12:30 Résumé : Dans cette deuxième séance du GdT modades et comonades, je présenterais les monades et comonades gradées. J'insisterais, en particulier, sur ma vision de ces objets comme potentielle piste pour faire interagir interprétation abstraite et typage dans les langages fonctionnels.