9595 search results - page 115 / 1919 » Functional programming in C |
133
Voted
SPAA
2009
ACM
16 years 3 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
113
click to vote
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
136
Voted
JFP
2007
15 years 2 months ago
2007
The functional programming community has shown some interest in spreadsheets, but surprisingly no one seems to have considered making a standard spreadsheet, such as Excel, work w...
108
click to vote
FPCA
1991
15 years 6 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...
191
click to vote
POPL
2001
ACM
16 years 3 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...