POPL
9 years 8 months ago
2015 ACM 
Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, etc. Recursive state machines (RSMs) are ...
POPL
9 years 8 months ago
2015 ACM 
This paper presents the design of ZOMBIE, a dependently-typed programming language that uses an adaptation of a congruence closure algorithm for proof and type inference. This alg...
POPL
9 years 8 months ago
2015 ACM 
The past decades have witnessed an extensive study of structured recursion schemes. A general scheme is the hylomorphism, which captures the essence of divide-and-conquer: a probl...
POPL
9 years 8 months ago
2015 ACM 
Hygiene is an essential aspect of Scheme’s macro system that prevents unintended variable capture. However, previous work on hygiene has focused on algorithmic implementation ra...
POPL
9 years 8 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...
|
Programming Languages