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]

MetaKlaim: a type safe multi-stage language for global computing

PUGLIESE, ROSARIO;
2004

2004
14(3)
367
395
R. PUGLIESE; G. FERRARI; E. MOGGI
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/332408
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 2
social impact