Jeudi 27 Septembre

Retour à la vue des calendrier
Jeudi 27 Septembre
Heure: 15:30 - 17:00
Lieu: Salle A303, bâtiment A, Université de Villetaneuse
Résumé: Arrows
Description: Exequiel Rivas Using monads for structuring computational effects had a big impact in the functional programming community. Arrows (Hughes 2000) are a generalisation of monads which provides support for computational effects that may be partially static. This talk will begin with an introduction on the subject, and then continue to discuss one the possible semantics of arrows from a categorical perspective.