1932 search results - page 24 / 387 » A Functional Quantum Programming Language |
136
click to vote
SFP
2003
15 years 7 months ago
2003
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, whic...
163
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
284
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
273
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
174
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...