MetaKlaim: a type safe multi-stage language for global computing / R. PUGLIESE; G. FERRARI; E. MOGGI. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - STAMPA. - 14(3):(2004), pp. 367-395. [10.1017/S0960129504004165]
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
04MSCS-MetaKlaim - a type safe multi-stage language.pdf
Accesso chiuso
Tipologia:
Altro
Licenza:
Tutti i diritti riservati
Dimensione
239.41 kB
Formato
Adobe PDF
|
239.41 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.