Inference based analysis of functional programs: dead-code and strictness

COPPO MARIO, F DAMIANI, Paola GIANNINI

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

Lingua originale	Inglese
Titolo della pubblicazione ospite	Theories of Types and Proofs.Mathematical Society of Japan (JAPAN)
Editore	World Scientific Publishing
Pagine	143-176
Numero di pagine	34
Volume	2
Stato di pubblicazione	Pubblicato - 1 gen 1998

Altri file e collegamenti

@inbook{7457e6ec20fa419d9efc3d92664892f6,

title = "Inference based analysis of functional programs: dead-code and strictness",

author = "COPPO MARIO and F DAMIANI and Paola GIANNINI",

year = "1998",

month = jan,

day = "1",

language = "English",

volume = "2",

pages = "143--176",

booktitle = "Theories of Types and Proofs.Mathematical Society of Japan (JAPAN)",

publisher = "World Scientific Publishing",

}

Inference based analysis of functional programs: dead-code and strictness. / MARIO, COPPO; DAMIANI, F; GIANNINI, Paola.
Theories of Types and Proofs.Mathematical Society of Japan (JAPAN). Vol. 2 World Scientific Publishing, 1998. pag. 143-176.

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review