4895 search results - page 36 / 979 » Functional Quantum Programming |
80
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
102
click to vote
TIT
2008
15 years 1 months ago
2008
An extractor is a function that is used to extract randomness. Given an imperfect random source X and a uniform seed Y , the output (X; Y ) is close to uniform. We study properties...
109
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We propose a coin-flip protocol which yields a string of strong, random coins and is fully simulatable against poly-sized quantum adversaries on both sides. It can be implemented ...
136
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...