|
|
 |
|
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. |
|
|
