111 search results - page 4 / 23 » Algebraic Effects, Linearity, and Quantum Programming Langua... |
ESOP
2009
Springer
15 years 2 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
170
click to vote
ENTCS
2006
14 years 10 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
70
Voted
ENTCS
2006
14 years 10 months ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
105
Voted
LICS
2010
IEEE
14 years 9 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
114
click to vote
HASKELL
2006
ACM
15 years 4 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...