E. Moggi
A cumulative monadic
metalanguage
Unpublished, 2004
We introduce a monadic metalanguage which combines two previously
proposed monadic metalanguages: one for staging and the other for
value recursion. The metalanguage includes also extensible records
a basic name management facility.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43