35 search results - page 3 / 7 » haskell 2005 |
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...