5415 search results - page 41 / 1083 » The Implementation of Functional Programming Languages |
TOOLS
2010
IEEE
14 years 2 months ago
2010
IEEE
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
ICFP
1997
ACM
14 years 1 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
AC
2000
Springer
14 years 1 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...