1932 search results - page 158 / 387 » A Functional Quantum Programming Language |
159
click to vote
ACSC
2005
IEEE
16 years 3 days ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
159
click to vote
ISPA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
296
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
275
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
178
click to vote
JFP
2002
15 years 6 months ago
2002
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...