GIANNINI, Paola
GIANNINI, Paola
INFORMATICA
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.002 secondi).
A Decidable Intersection Type System based on Relevance
1994-01-01 Ferruccio Damiani; Paola Giannini
An inference algorithm for strictness
1997-01-01 Ferruccio Damiani; Paola Giannini
Fickle: Dynamic object re-classification.
2001-01-01 DROSSOPOULOU S.; DAMIANI F.; M. DEZANI; GIANNINI P.
Inference based analysis of functional programs: dead-code and strictness
1998-01-01 MARIO COPPO; F. DAMIANI; PAOLA GIANNINI
Interactions between Computer Science and Biology
2015-01-01 Giannini, Paola; Merelli, Emanuela; Troina, Angelo
Java & Lambda: a Featherweight Story
2018-01-01 Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
On strictness and totality
1997-01-01 Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
Towards Type Inference for JavaScript
2005-01-01 S. DROSSOPOULOU; P. GIANNINI; C. ANDERSON
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Decidable Intersection Type System based on Relevance | 1994 | Ferruccio Damiani; Paola Giannini | |
| An inference algorithm for strictness | 1997 | Ferruccio Damiani; Paola Giannini | |
| Fickle: Dynamic object re-classification. | 2001 | DROSSOPOULOU S.; DAMIANI F.; M. DEZANI; GIANNINI P. | |
| Inference based analysis of functional programs: dead-code and strictness | 1998 | MARIO COPPO; F. DAMIANI; PAOLA GIANNINI | |
| Interactions between Computer Science and Biology | 2015 | Giannini, Paola; Merelli, Emanuela; Troina, Angelo | |
| Java & Lambda: a Featherweight Story | 2018 | Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri | |
| On strictness and totality | 1997 | Coppo, Mario; Damiani, Ferruccio; Giannini, Paola | |
| Towards Type Inference for JavaScript | 2005 | S. DROSSOPOULOU; P. GIANNINI; C. ANDERSON |