"MetaKlaim: a type safe multi-stage language for global computing."

Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics