Dataset - CKAN

Patterns for computational effects arising from a monad or a comonad

This paper presents equational-based logics for proving first order properties of programming languages involving effects. We propose two dual inference system...
- HTML

You can also access this registry using the API (see API Docs).