4716 search results - page 185 / 944 » Tangible functional programming |
108
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-tim...
94
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
126
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
121
Voted
ENTCS
2007
15 years 2 months ago
2007
We present a technique for inducing functional programs from few, well chosen input/output-examples (I/Oexamples). Potential applications for automatic program or algorithm induct...
119
click to vote
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
Kolmogorov complexity measures the ammount of information in a string as the size of the shortest program that computes the string. The Kolmogorov structure function divides the s...