An Implementation of Modular Monadic Semantics using Folds and Monadic Folds

Abstract

Type
Conference proceedings
Publication
Workshop on Research Themes on Functional Programming, Third International Summer School on Advanced Functional Programming
Date
Tags
Modular-monadic-semantics  Functional-programming  Programming-language-Semantics 
Links
PDF