9595 search results - page 238 / 1919 » Functional programming in C |
157
Voted
AML
2006
15 years 6 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
120
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we report the advantage of using AC actuating signal for driving MEMS actuators instead of DC voltages. The study is based upon micro mirror devices used in digital...
174
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
150
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known...
218
click to vote
FP
1991
15 years 10 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...