WE HAVE CHANGED! Home | Search | Help  
Home Page Università di Genova
The Department
Research
Education
Library and services
Events and seminars
  DISI -> Research -> Areas -> Programming languages -> Research topic

Research topic: Monadic metalanguages and computational effects

KEYWORDS

Types, Monadic Metalanguages

ACTIVITIES

Use of monadic types for separating pure evaluation from computation and for encapsulating certain computational effects (collaboration with Indiana University)

PEOPLE

Eugenio Moggi