Programming monads operationally with Unimo (2006)

by C Lin
Venue:In International Conference on Functional Programming