4757 search results - page 504 / 952 » Monads for Functional Programming |
182
click to vote
DOCENG
2004
ACM
16 years 8 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
149
click to vote
LCPC
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
179
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
193
click to vote
PEPM
2004
ACM
16 years 6 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
204
click to vote
PVM
2004
Springer
16 years 6 days ago
2004
Springer
We propose lightweight middleware solutions that facilitate and simplify the execution of MPI programs across multidomain clusters. The system described in this paper leverages H2O...