A Monadic Multi-stage Metalanguage (2003)

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