6 search results - page 2 / 2 » jfp 2000 |
134
click to vote
JFP
2000
15 years 2 months ago
2000
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...