Link to Simple and Composition Reification of Monadic Embedded Languages paper
Merge pull request #3 from eaubin/master

link for Simple and Compositional Reification of Monadic Embedded Languages