4895 search results - page 102 / 979 » Functional Quantum Programming |
ICFP
2004
ACM
14 years 10 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
QI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
SIAMJO
2010
13 years 4 months ago
2010
Abstract: In this paper, we study KKT optimality conditions for constrained nonlinear programming problems and strong and Mordukhovich stationarities for mathematical
FM
1994
Springer
14 years 2 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.