Sciweavers

1932 search results - page 14 / 387
» A Functional Quantum Programming Language
Sort
View
ICFP
2007
ACM
16 years 4 months ago
On Barron and Strachey's cartesian product function
Olivier Danvy, J. Michael Spivey
ICFP
2006
ACM
16 years 4 months ago
Generating generic functions
Johan Jeuring, Alexey Rodriguez, Gideon Smeding
ICALP
2005
Springer
15 years 10 months ago
Improved Lower Bounds for Locally Decodable Codes and Private Information Retrieval
We prove new lower bounds for locally decodable codes and private information retrieval. We show that a 2-query LDC encoding nbit strings over an ℓ-bit alphabet, where the decode...
Stephanie Wehner, Ronald de Wolf
ICALP
2003
Springer
15 years 10 months ago
A Direct Sum Theorem in Communication Complexity via Message Compression
We prove lower bounds for the direct sum problem for two-party bounded error randomised multipleround communication protocols. Our proofs use the notion of information cost of a p...
Rahul Jain, Jaikumar Radhakrishnan, Pranab Sen
ICFP
2002
ACM
16 years 4 months ago
Modular typechecking for hierarchically extensible datatypes and functions
Todd D. Millstein, Colin Bleckner, Craig Chambers