Sciweavers

8197 search results - page 351 / 1640
» Adaptive functional programming
Sort
View
ICONIP
2009
15 years 4 months ago
Data Modelling for Analysis of Adaptive Changes in Fly Photoreceptors
Adaptation is a hallmark of sensory processing. We studied neural adaptation in intracellular voltage responses of the R1-R6 photoreceptors, of the fruit fly Drosophila, subjected ...
Uwe Friederich, Daniel Coca, Stephen A. Billings, ...
ICALP
2010
Springer
15 years 11 months ago
On the k-Independence Required by Linear Probing and Minwise Independence
We show that linear probing requires 5-independent hash functions for expected constant-time performance, matching an upper bound of [Pagh et al. STOC’07]. For (1 + ε)-approxima...
Mihai Patrascu, Mikkel Thorup
PEPM
2009
ACM
16 years 3 months ago
Designing aspects for side-effect localization
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng ...
GI
2009
Springer
15 years 11 months ago
Reinventing Haskell Backtracking
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
Sebastian Fischer
ICFP
1999
ACM
15 years 11 months ago
A Simple Proof Technique for Certain Parametricity Results
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
Karl Crary