Sciweavers

9595 search results - page 219 / 1919
» Functional programming in C
Sort
View
DAC
1993
ACM
15 years 11 months ago
Espresso-Signature: A New Exact Minimizer for Logic Functions
Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. B...
ARTMED
2002
84views more  ARTMED 2002»
15 years 6 months ago
An evaluation of methods for detecting brain activations from functional neuroimages
Ana S. Lukic, Miles N. Wernick, Stephen C. Strothe...
309
Voted
ICFP
2009
ACM
16 years 7 months ago
A functional I/O system or, fun for freshman kids
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
Matthias Felleisen, Robert Bruce Findler, Matthew ...
186
Voted
ICFP
2005
ACM
16 years 7 months ago
A logical analysis of aliasing in imperative higher-order functions
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
Martin Berger, Kohei Honda, Nobuko Yoshida
197
Voted
ICFP
2005
ACM
16 years 7 months ago
Scrap your nameplate: (functional pearl)
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
James Cheney