10585 search results - page 617 / 2117 » The Orc Programming Language |
246
click to vote
FP
1991
15 years 10 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
151
click to vote
SFP
2004
15 years 8 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...
219
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
164
click to vote
LLC
2010
15 years 2 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
307
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...