283 search results - page 32 / 57 » Functional Pearls: Probabilistic functional programming in H... |
105
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
120
click to vote
AAAI
2010
15 years 3 months ago
2010
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...
167
Voted
AAIP
2009
15 years 2 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
110
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
122
click to vote
ENTCS
2008
15 years 1 months ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...