3394 search results - page 69 / 679 » Regular Object Types |
145
Voted
CORR
2004
Springer
15 years 2 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...
131
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Novel molecular and statistical methods are in rising demand for disease diagnosis and prognosis with the help of recent advanced biotechnology. High-resolution mass s...
118
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- In this paper, we consider the distributed computation of equilibria arising in monotone stochastic Nash games over continuous strategy sets. Such games arise in setting...
114
Voted
FPCA
1989
15 years 6 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
109
Voted
JUCS
2008
15 years 2 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...