93
Voted
POPL
2015
ACM
9 years 11 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...
POPL
2015
ACM
9 years 11 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”, ...
POPL
2015
ACM
9 years 11 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...
POPL
2015
ACM
9 years 11 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...
POPL
2015
ACM
9 years 11 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...