Gian Luigi Ferrari Eugenio Moggi Rosario Pugliese MetaKlaim: a type safe multi-stage language for global computing. 367-395 2004 14 Mathematical Structures in Computer Science 3 http://dx.doi.org/10.1017/S0960129504004165 db/journals/mscs/mscs14.html#FerrariMP04