177 search results - page 36 / 36 » Computational Logic in an Object-Oriented World |
JFP
2000
13 years 4 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...
NAR
2000
13 years 4 months ago
2000
The Molecular Biology Database Collection represents an effort geared at making molecular biology database resources more accessible to biologists. This online resource, available...