A Monadic Multi-stage Metalanguage (2003)

by E. Moggi , S. Fagorzi
Citations:17 - 7 self