9595 search results - page 108 / 1919 » Functional programming in C |
121
Voted
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
We propose a multivariate decision tree inference scheme by using the minimum message length (MML) principle (Wallace and Boulton, 1968; Wallace and Dowe, 1999). The scheme uses MM...
148
click to vote
LISP
2008
15 years 2 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
145
Voted
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
121
Voted
PLDI
1996
ACM
15 years 6 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...