14 search results - page 3 / 3 » A Concurrent Lambda Calculus with Futures |
236
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
128
click to vote
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
111
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
116
click to vote
AIPS
2009
15 years 2 months ago
2009
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...