1932 search results - page 232 / 387 » A Functional Quantum Programming Language |
125
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
181
click to vote
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
203
click to vote
NATO
1993
15 years 8 months ago
1993
METU Object-Oriented DBMS 1 includes the implementation of a database kernel, an object-oriented SQL-like language and a graphical user interface. Kernel functions are divided bet...
135
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
149
click to vote
POPL
1990
ACM
15 years 8 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...