The implementation of the -monad (1999)

by B Reus, T Altenkirch
Venue:in LEGO. Available on the WWW at: http://www.informatik.uni-muenchen.de/~reus/drafts/lambda.html