13 search results - page 2 / 3 » Quantum Arrows in Haskell |
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
79
Voted
HASKELL
2008
ACM
15 years 22 days ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
108
Voted
ENTCS
2008
14 years 11 months ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
85
Voted
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
98
Voted
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...