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:11 - 2 self