Search Sciweavers | Sciweavers

10666 search results - page 163 / 2134

» Quantum programming languages

click to vote

ICALP
2009
Springer

99views Programming Languages» more ICALP 2009»

Semilinear Program Feasibility

14 years 1 months ago

Download www.lix.polytechnique.fr

Manuel Bodirsky, Peter Jonsson, Timo von Oertzen

claim paper

Read More »

click to vote

FSTTCS
2010
Springer

193views Software Engineering» more FSTTCS 2010»

Lower bounds for Quantum Oblivious Transfer

13 years 8 months ago

Download www.liafa.jussieu.fr

Oblivious transfer is a fundamental primitive in cryptography. While perfect information theoretic security is impossible, quantum oblivious transfer protocols can limit the disho...

André Chailloux, Iordanis Kerenidis, Jamie ...

claim paper

Read More »

click to vote

POPL
2008
ACM

126views Programming Languages» more POPL 2008»

An approach to call-by-name delimited continuations

14 years 10 months ago

Download pauillac.inria.fr

Hugo Herbelin, Silvia Ghilezan

claim paper

Read More »

click to vote

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

14 years 10 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

click to vote

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Secure implementations of typed channel abstractions

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers