Login / Signup

Higher-Order Types and Meta-Programming for Global Computing.

Gian Luigi FerrariEugenio MoggiRosario Pugliese
Published in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases