7519 search results - page 450 / 1504 » Optimizing Generic Functions |
156
click to vote
APLAS
2005
ACM
16 years 12 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
158
click to vote
ISPEC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
179
click to vote
OTM
2005
Springer
16 years 10 days ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
199
click to vote
AISC
2004
Springer
16 years 7 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
164
click to vote
DIS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. One of the most exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, i...