Sciweavers

9595 search results - page 219 / 1919
» Functional programming in C
Sort
View
DAC
1993
ACM
15 years 10 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...
280
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 ...
ICFP
2005
ACM
16 years 6 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
ICFP
2005
ACM
16 years 6 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