1932 search results - page 233 / 387 » A Functional Quantum Programming Language |
143
click to vote
DLS
2008
15 years 6 months ago
2008
Predicate dispatching is a generalized form of dynamic dispatch, which has strong limitations when arbitrary predicates of the underlying base language are used. Unlike classes, w...
138
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
118
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
128
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
Multi-core processors are coming, and we need ways to program them. The combination of purely-functional programming and explicit, monadic threads, communicating using transaction...
134
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...