Sfoglia per Autore
Compiling Functional to Scripting Languages
2014-01-01 Giannini, Paola; A., Shaqiri
Incremental Rebinding
2013-01-01 D., Ancona; Giannini, Paola; E., Zucca
Reconciling positional and nominal binding
2013-01-01 D., Ancona; Giannini, Paola; E., Zucca
Type Directed Semantics for the Calculus of Looping Sequences
2013-01-01 Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A.
An intermediate language for compilation to scripting languages
2013-01-01 Giannini, Paola; A., Shaqiri
Preface
2013-01-01 Giannini, Paola; E. P., de Vink
A Calculus of Looping Sequences with Local Rules
2012-01-01 Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A.
Leveraging dynamic typing through static typing
2012-01-01 Giannini, Paola; D., Mantovani; A., Shaqiri
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
2012-01-01 A., Compagnoni; M., Dezani Ciancaglini; Giannini, Paola; K., Sauer; V., Sharma; A., Troina
Typed Stochastic Semantics for the Calculus of Looping Sequences
2012-01-01 Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A.
Standard type soundness for agents and artifacts
2012-01-01 F., Damiani; Giannini, Paola; A., Ricci; M., Viroli
Preface
2011-01-01 Giannini, Paola; Krivine, J.
A Calculus of Agents and Artifacts
2011-01-01 F., Damiani; Giannini, Paola; A., Ricci; M., Viroli
Extending the lambda-calculus with unbind and rebind
2011-01-01 DEZANI CIANCAGLINI, M; Giannini, Paola; Zucca, E.
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins
2011-01-01 Sciacca, E; Spinella, S; Ienco, D; Giannini, Paola
Sequence-Function Protein Analysis Using Annotated Context Free Grammars
2010-01-01 Spinella, S; Sciacca, E; Giannini, Paola
Intersection types for unbind and rebind
2010-01-01 DEZANI CIANCAGLINI, M; Giannini, Paola; Zucca, E.
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
2009-01-01 Damiani, F; Giannini, Paola; Ricci, A; Viroli, M.
The essence of static and dynamic bindings
2009-01-01 DEZANI CIANCAGLINI, M; Giannini, Paola; Zucca, E.
A Type System for Required/Excluded Elements in CLS
2009-01-01 DEZANI CIANCAGLINI, M; Giannini, Paola; Angelo, Troina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Compiling Functional to Scripting Languages | 1-gen-2014 | Giannini, Paola; A., Shaqiri | |
| Incremental Rebinding | 1-gen-2013 | D., Ancona; Giannini, Paola; E., Zucca | |
| Reconciling positional and nominal binding | 1-gen-2013 | D., Ancona; Giannini, Paola; E., Zucca | |
| Type Directed Semantics for the Calculus of Looping Sequences | 1-gen-2013 | Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A. | |
| An intermediate language for compilation to scripting languages | 1-gen-2013 | Giannini, Paola; A., Shaqiri | |
| Preface | 1-gen-2013 | Giannini, Paola; E. P., de Vink | |
| A Calculus of Looping Sequences with Local Rules | 1-gen-2012 | Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A. | |
| Leveraging dynamic typing through static typing | 1-gen-2012 | Giannini, Paola; D., Mantovani; A., Shaqiri | |
| Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions | 1-gen-2012 | A., Compagnoni; M., Dezani Ciancaglini; Giannini, Paola; K., Sauer; V., Sharma; A., Troina | |
| Typed Stochastic Semantics for the Calculus of Looping Sequences | 1-gen-2012 | Bioglio, L; Dezani Ciancaglini, M; Giannini, Paola; Troina, A. | |
| Standard type soundness for agents and artifacts | 1-gen-2012 | F., Damiani; Giannini, Paola; A., Ricci; M., Viroli | |
| Preface | 1-gen-2011 | Giannini, Paola; Krivine, J. | |
| A Calculus of Agents and Artifacts | 1-gen-2011 | F., Damiani; Giannini, Paola; A., Ricci; M., Viroli | |
| Extending the lambda-calculus with unbind and rebind | 1-gen-2011 | DEZANI CIANCAGLINI, M; Giannini, Paola; Zucca, E. | |
| Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins | 1-gen-2011 | Sciacca, E; Spinella, S; Ienco, D; Giannini, Paola | |
| Sequence-Function Protein Analysis Using Annotated Context Free Grammars | 1-gen-2010 | Spinella, S; Sciacca, E; Giannini, Paola | |
| Intersection types for unbind and rebind | 1-gen-2010 | DEZANI CIANCAGLINI, M; Giannini, Paola; Zucca, E. | |
| FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts | 1-gen-2009 | Damiani, F; Giannini, Paola; Ricci, A; Viroli, M. | |
| The essence of static and dynamic bindings | 1-gen-2009 | DEZANI CIANCAGLINI, M; Giannini, Paola; Zucca, E. | |
| A Type System for Required/Excluded Elements in CLS | 1-gen-2009 | DEZANI CIANCAGLINI, M; Giannini, Paola; Angelo, Troina |
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