Modules Over Monads and Their Algebras (2015)

First Author: Pirog M

Attributed to: Reusability and Dependent Types funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://drops.dagstuhl.de/opus/volltexte/2015/5540/

Type: Conference/Paper/Proceeding/Abstract

Volume: 35