Proc. of the TOSCA Final Workshop

Higher-Order Types and Meta-Programming for Global Computing / G. FERRARI; E. MOGGI; R. PUGLIESE. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 62:(2001), pp. 52-68. [10.1016/S1571-0661(04)00319-6]

Higher-Order Types and Meta-Programming for Global Computing

PUGLIESE, ROSARIO
2001

Abstract

Proc. of the TOSCA Final Workshop
2001
62
52
68
G. FERRARI; E. MOGGI; R. PUGLIESE
1a - Articolo su rivista
File in questo prodotto:
File Dimensione Formato  
01TOSCAMetaKlaim-Higher-Order Types and Meta-Programming for Global Computing.pdf

Accesso chiuso

Tipologia: Altro
Licenza: Tutti i diritti riservati
Dimensione 201.39 kB
Formato Adobe PDF
  Richiedi una copia
201.39 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/218653
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact