Sciweavers

Share
FOSSACS
2012
Springer
7 years 1 months ago
Functions as Session-Typed Processes
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
Bernardo Toninho, Luís Caires, Frank Pfenni...
CCS
2011
ACM
7 years 5 months ago
VMCrypt: modular software architecture for scalable secure computation
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
Lior Malka
SIGMOD
1995
ACM
82views Database» more  SIGMOD 1995»
8 years 9 months ago
Parallel Evaluation of Multi-Join Queries
A number of execution strategies for parallel evaluation of multi-join queries have been proposed in the literature; their performance was evaluated by simulation. In this paper w...
Annita N. Wilschut, Jan Flokstra, Peter M. G. Aper...
books