 |
|
 |
|
| WE HAVE CHANGED! | Home | Search | Help |
|
|
 |
||||||
|
||||||
 |
||||||
|
||||||
|
||||||
|
||||||
 |
||||||
|
||||||
 |
||||||
|
||||||
 |
||||||
|
||||||
|
| DISI -> Research -> Areas -> Programming languages -> Research topic | ||
|
|
|
Research topic: Monadic metalanguages and computational effectsKEYWORDSTypes, Monadic MetalanguagesACTIVITIESUse of monadic types for separating pure evaluation from computation and for encapsulating certain computational effects (collaboration with Indiana University)PEOPLE |
|
|
|
||