Sites Inria

English version

Séminaire Prosecco

Séminaire Prosecco -Interaction from monadic interfaces

  • Date : 4/12/2018
  • Lieu : JLL 2, bât C
  • Intervenant(s) : Exequiel Rivas
  • Organisateur(s) : Equipe Prosecco

Interaction from monadic interfaces

Exequiel Riva s

An interface is a point in which two systems interact. A monadic interface is a concrete description of the operations by which a computation can interact with an environment. Based on folklore ideas from the functional programming community, we will see how interfaces, computations and environments are represented in a modular way using type constructors, free monads and cofree comonads. Interaction of computations and environments will come for free from this description.

Mots-clés : Séminaire Prosecco Monadic Interface

Haut de page

Suivez Inria