1932 search results - page 256 / 387 » A Functional Quantum Programming Language |
136
click to vote
SFP
2000
15 years 5 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
167
Voted
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
204
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
111
Voted
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
134
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...