A Monadic Multi-stage Metalanguage E.Moggi and S.Fagorzi∗ DISI, Univ. of Genova, v. Dodecaneso 35, 16146 Genova, Italy Abstract We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spir

First Page		Document Content
Date: 2003-03-21 04:57:49		A Monadic Multi-stage Metalanguage E.Moggi and S.Fagorzi∗ DISI, Univ. of Genova, v. Dodecaneso 35, 16146 Genova, Italy Abstract We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spir Add to Reading List Source URL: www.disi.unige.it Download Document from Source Website File Size: 228,18 KB Share Document on Facebook