1185 search results - page 25 / 237 » Implementing Functional Languages: a tutorial |
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
TBILLC
2005
Springer
14 years 3 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
FMOODS
2007
13 years 11 months ago
2007
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...
PPDP
2010
Springer
13 years 8 months ago
2010
Springer
This paper connects the deļ¬nitional interpreter for the Ī»-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
DAGSTUHL
2003
13 years 11 months ago
2003
Abstract. Hydra is a domain-speciļ¬c language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware speciļ¬cation ...