Sciweavers

2 search results - page 1 / 1
» Capsule Reviews
Sort
View
CJ
2008
94views more  CJ 2008»
13 years 5 months ago
Capsule Reviews
Fairouz Kamareddine
JFP
2000
163views more  JFP 2000»
13 years 4 months ago
Automatic useless-code elimination for HOT functional programs
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
Ferruccio Damiani, Paola Giannini