4757 search results - page 378 / 952 » Monads for Functional Programming |
210
click to vote
ECEASST
2006
15 years 6 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
149
click to vote
ENTCS
2000
15 years 6 months ago
2000
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...
187
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: MicroRNAs (miRNAs) are endogenous small RNAs that play a key role in post-transcriptional regulation of gene expression in animals and plants. The number of known miRN...
188
click to vote
IFL
2004
Springer
16 years 3 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
195
click to vote
IEEEINTERACT
2003
IEEE
16 years 15 hour ago
2003
IEEE
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...