A Monadic Multi-stage Metalanguage (2003)

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