6740 search results - page 39 / 1348 » Using Classification as a Programming Language |
200
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
102
click to vote
DATESO
2009
14 years 9 months ago
2009
Top trees are a dynamic self-adjusting data structure that can be used by any tree algorithm. Actually, an arbitrary number of different tree algorithms can use a single structure....
86
Voted
RIAO
2000
15 years 28 days ago
2000
It is a traditional belief that in order to scale-up to more effective retrieval and access methods modern Information Retrieval has to consider more the text content. The modalit...
VL
2000
IEEE
15 years 4 months ago
2000
IEEE
213
Voted
ICFP
2009
ACM
16 years 6 days ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...