GIANNINI, Paola
GIANNINI, Paola
INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.013 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.
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. | |
| On strictness and totality | 1997 | Coppo, Mario; Damiani, Ferruccio; Giannini, Paola | |
| Towards Type Inference for JavaScript | 2005 | S. DROSSOPOULOU; P. GIANNINI; C. ANDERSON |