111 search results - page 3 / 23 » Algebraic Effects, Linearity, and Quantum Programming Langua... |
FOSSACS
2006
Springer
15 years 2 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
123
click to vote
APLAS
2001
ACM
15 years 2 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
TLCA
2005
Springer
15 years 4 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
114
click to vote
IPPS
2009
IEEE
15 years 5 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...