MetaKlaim: A Type Safe Multi-stage Language for Global Computing (0)

Cached

Download Links

by Gianluigi Ferrari , Eugenio Moggi , Rosario Pugliese
Venue:Mathematical Structures in Computer Science
Citations:10 - 2 self