IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 52
Titolo Data di pubblicazione Autore(i) File
Functor categories and two-level languages 1-gen-1998 Moggi, Eugenio
Monads, Shapely Functors and Traversals 1-gen-1999 Moggi, Eugenio; Belle', G.; Jay, B.
An idealized MetaML: Simpler, and more expressive 1-gen-1999 Moggi, Eugenio; Taha, W.; Benaissa, Z. E. A.; Sheard, T.
Closed types as a simple approach to safe imperative multi-stage programming 1-gen-2000 Calcagno, C.; Moggi, Eugenio; Taha, W.
Multi-Stage Imperative Languages: A Conservative Extension Result 1-gen-2000 C., Calcagno; Moggi, Eugenio
MetaKLAIM: meta-programming for global computing (position paper) 1-gen-2001 Ferrari, G.; Moggi, Eugenio; Pugliese, R.
Global Types and Network Services 1-gen-2001 Ferrari, G.; Moggi, Eugenio; Pugliese, R.
Monadic encapsulation of effects: a revised approach (extended version) 1-gen-2001 Moggi, Eugenio; Sabry, A.
Monads and Effects 1-gen-2002 Benton, N.; Hughes, J.; Moggi, Eugenio
A fully-abstract model for the pi-calculus (extended version) 1-gen-2002 Fiore, M.; Moggi, Eugenio; Sangiorgi, D.
Guardians for Ambient-based Monitoring 1-gen-2002 Ferrari, G.; Moggi, Eugenio; Pugliese, R.
Higher-Order Types and Meta-Programming for Global Computing 1-gen-2002 Ferrari, G.; Moggi, Eugenio; Pugliese, R.
Closed types for safe imperative MetaML 1-gen-2003 Calcagno, C.; Moggi, Eugenio; Sheard, T.
The Klaim Project: Theory and practice 1-gen-2003 L., Bettini; V., Bono; R., DE NICOLA; G., Ferrari; D., Gorla; M., Loreti; Moggi, Eugenio; R., Pugliese; E., Tuosto; AND B., Venneri
Mixin modules and computational effects 1-gen-2003 Ancona, Davide; Fagorzi, S.; Moggi, Eugenio; Zucca, Elena
A Monadic Multi-stage Metalanguage 1-gen-2003 Moggi, Eugenio; Fagorzi, S.
A Fresh Calculus for Name Management 1-gen-2004 Ancona, Davide; Moggi, Eugenio
MetaKlaim: a Type Safe Multi-stage Language for Global Computing 1-gen-2004 G., Ferrari; Moggi, Eugenio; R., Pugliese
ML-like inference for classifiers 1-gen-2004 Calcagno, C.; Moggi, Eugenio; Taha, W.
An abstract monadic semantics for value recursion 1-gen-2004 Moggi, Eugenio; Sabry, A.
Mostrati risultati da 21 a 40 di 52
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile