1932 search results - page 143 / 387 » A Functional Quantum Programming Language |
166
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
180
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Kolmogorov complexity measures the ammount of information in a string as the size of the shortest program that computes the string. The Kolmogorov structure function divides the s...
153
Voted
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
150
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
148
click to vote
ECOOP
1992
Springer
15 years 10 months ago
1992
Springer
Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, ...