MetaKlaim: A type safe multi-stage language for global computing (2003)

by G Ferrari, E Moggi, R Pugliese
Venue:Mathematical Structures in Computer Science