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 - Metalanguage - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2003-03-21 04:57:49 Open Document File Size: 228,18 KB Share Result on Facebook

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 spirAdd to Reading List