283 search results - page 14 / 57 » Functional Pearls: Probabilistic functional programming in H... |
109
click to vote
IFL
1997
Springer
15 years 5 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
186
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
125
click to vote
MPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
135
click to vote
POPL
2012
ACM
13 years 9 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...
SAS
1994
Springer
15 years 5 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...