283 search results - page 13 / 57 » Functional Pearls: Probabilistic functional programming in H... |
121
click to vote
DAGSTUHL
2003
15 years 2 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 ...
110
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
This paper describes our experience using a functional language, Haskell, to build an embedded, domain-specific language (DSL) for component configuration in large-scale, real-tim...
120
click to vote
HASKELL
2008
ACM
15 years 2 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
112
click to vote
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...