Search Sciweavers | Sciweavers

233 search results - page 47 / 47

» Computational Lambda-Calculus and Monads

click to vote

LICS
2006
IEEE

133views Automated Reasoning» more LICS 2006»

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

14 years 8 days ago

Download www.saraswat.org

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...

Catuscia Palamidessi, Vijay A. Saraswat, Frank D. ...

claim paper

Read More »

click to vote

EACL
2006
ACL Anthology

138views Natural Language Processing» more EACL 2006»

Unifying Synchronous Tree Adjoining Grammars and Tree Transducers via Bimorphisms

13 years 7 months ago

Download www.eecs.harvard.edu

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...

Stuart M. Shieber

claim paper

Read More »

click to vote

ICFP
2010
ACM

140views Programming Languages» more ICFP 2010»

Distance makes the types grow stronger: a calculus for differential privacy

13 years 7 months ago

Download jcreed.org

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...

Jason Reed, Benjamin C. Pierce

claim paper

Read More »

« Prev « First page 47 / 47 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers