Italiano (Italian) English (Inglese)
Saturday, 22 June 2024

Publications

Back
Pubblication Details
Authors:Mario Coppo
Ferruccio Damiani
Paola Giannini
Title:Inference based analysis of functional programs: dead-code and strictness
Published on:Theories of Types and Proofs 2
Pages:143-176
Publisher:Mathematical Society of Japan
Year:1998
Tipo Pubblicazione:Book
URL:http://www.di.unito.it/~damiani/papers/msj98.html