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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Theories of Types and Proofs.Mathematical Society of Japan (JAPAN)
Publisher	World Scientific Publishing
Pages	143-176
Number of pages	34
Volume	2
Publication status	Published - 1 Jan 1998

Cite this

@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",

}