Metaklaim: a type safe multistage language for global computing (0)

by G Ferrari, E Moggi, R Pugliese
Venue:Mathematical. Structures in Comp. Sci