4719 search results - page 163 / 944 » Spreadsheet functional programming |
116
Voted
IFL
2007
Springer
15 years 8 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
89
Voted
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We show that a natural online algorithm for scheduling jobs on a heterogeneous multiprocessor, with arbitrary power functions, is scalable for the objective function of weighted ï¬...
236
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
148
Voted
PLPV
2009
ACM
15 years 11 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
93
Voted
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...