118
click to vote
POPL
2015
ACM
10 years 2 months ago
2015
ACM
Differential privacy provides a way to get useful information about sensitive data without revealing much about any one individual. It enjoys many nice compositionality properties...
100
click to vote
POPL
2015
ACM
10 years 2 months ago
2015
ACM
In 1991, Pfenning and Lee studied whether System F could support a typed self-interpreter. They concluded that typed selfrepresentation for System F “seems to be impossible”, ...
101
click to vote
POPL
2015
ACM
10 years 2 months ago
2015
ACM
We study algebraic datatypes in a manifest contract system, a software contract system where contract information occurs as refinement types. We first compare two simple approac...
124
click to vote
POPL
2015
ACM
10 years 2 months ago
2015
ACM
We develop a new framework of algebraic theories with linear parameters, and use it to analyze the equational reasoning principles of quantum computing and quantum programming lan...
113
click to vote
POPL
2015
ACM
10 years 2 months ago
2015
ACM
Building a summary for library code is a common approach to speeding up the analysis of client code. In presence of callbacks, some reachability relationships between library node...