7124 search results - page 499 / 1425 » Programming Languages and Operating Systems |
185
click to vote
TIC
1998
Springer
15 years 11 months ago
1998
Springer
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
181
click to vote
FPCA
1995
15 years 11 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
204
click to vote
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
213
click to vote
ECAIW
1994
Springer
15 years 11 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
192
click to vote
CIDR
2009
15 years 8 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...