Sciweavers

1932 search results - page 14 / 387
» A Functional Quantum Programming Language
Sort
View
ICFP
2007
ACM
15 years 9 months ago
On Barron and Strachey's cartesian product function
Olivier Danvy, J. Michael Spivey
ICFP
2006
ACM
15 years 9 months ago
Generating generic functions
Johan Jeuring, Alexey Rodriguez, Gideon Smeding
ICALP
2005
Springer
15 years 3 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 2 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
15 years 9 months ago
Modular typechecking for hierarchically extensible datatypes and functions
Todd D. Millstein, Colin Bleckner, Craig Chambers