Naviga IRIS

Sfoglia per Autore

Ordina per:

In ordine:

Risultati/Pagina

Vai a una voce nell'indice:

O digita l'anno:

Mostrati risultati da 1 a 8 di 8

2018-01-01 Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri

2015-01-01 Giannini, Paola; Merelli, Emanuela; Troina, Angelo

2005-01-01 S. DROSSOPOULOU; P. GIANNINI; C. ANDERSON

2001-01-01 DROSSOPOULOU S.; DAMIANI F.; M. DEZANI; GIANNINI P.

1998-01-01 MARIO COPPO; F. DAMIANI; PAOLA GIANNINI

1997-01-01 Coppo, Mario; Damiani, Ferruccio; Giannini, Paola

1997-01-01 Ferruccio Damiani; Paola Giannini

1994-01-01 Ferruccio Damiani; Paola Giannini

Titolo	Data di pubblicazione	Autore(i)
Java & Lambda: a Featherweight Story	2018	Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Interactions between Computer Science and Biology	2015	Giannini, Paola; Merelli, Emanuela; Troina, Angelo
Towards Type Inference for JavaScript	2005	S. DROSSOPOULOU; P. GIANNINI; C. ANDERSON
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
On strictness and totality	1997	Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
An inference algorithm for strictness	1997	Ferruccio Damiani; Paola Giannini
A Decidable Intersection Type System based on Relevance	1994	Ferruccio Damiani; Paola Giannini

Mostrati risultati da 1 a 8 di 8