Multi-lingual monadic metalanguages.
Eugenio Moggi
Abstract
This is some work in collaboration with Sabry that has some
analogies with the models proposed in MIKADO, at the moment it is
mono-lingual but it has dynamic creation of sites with local resourses.
Ideally we would like to have for each site an "interpreter" for
monadic actions (this should have some analogies to guardians proposed
for ambients).