8197 search results - page 75 / 1640 » Adaptive functional programming |
115
click to vote
AFP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
136
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
104
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
MashMaker is a web-based tool that makes it easy for a normal user to create web mashups by browsing around, without needing to type, or plan in advance what they want to do. Like...
164
click to vote
CEFP
2007
Springer
15 years 8 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
111
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...