233 search results - page 47 / 47 » Computational Lambda-Calculus and Monads |
114
click to vote
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...