283 search results - page 39 / 57 » Functional Pearls: Probabilistic functional programming in H... |
121
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
208
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
109
click to vote
PEPM
2010
ACM
15 years 10 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
111
click to vote
PPPJ
2003
ACM
15 years 6 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
105
click to vote
APAL
2008
15 years 1 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....