D
Daniele Varacca
Researcher at Paris Diderot University
Publications - 35
Citations - 805
Daniele Varacca is an academic researcher from Paris Diderot University. The author has contributed to research in topics: Event structure & Probabilistic logic. The author has an hindex of 18, co-authored 33 publications receiving 747 citations. Previous affiliations of Daniele Varacca include University of Paris & Centre national de la recherche scientifique.
Papers
More filters
Journal ArticleDOI
Security types for dynamic web data
TL;DR: A type system for the [email protected] calculus of Gardner and Maffeis, based on types for locations, data and processes, expressing security levels is described, and the following security properties are proved.
Book ChapterDOI
Fair adversaries and randomization in two-player games
TL;DR: It is shown that winning in an ABM-game (i.e. winning against a fair player) is equivalent to winning with probability one against the randomized adversary.
Book ChapterDOI
Encoding CDuce in the Cπ-calculus
TL;DR: A type faithful encoding of ℂDuce into theℂπ-calculus is presented, which sheds new light on the Milner-Turner encoding, on the relations between sequential and remote execution of functions/services, and on the validity of the equational laws for union and intersection types in π-Calculus.
Book ChapterDOI
Semantic Subtyping for Objects and Classes
TL;DR: An integration of structural subtyping with boolean connectives and semantic subtyped to define a Java-like programming language that exploits the benefits of both techniques.
Proceedings ArticleDOI
Continuations, Processes, and Sharing
TL;DR: This analysis covers a uniform CPS transform, which differentiates the three evaluation strategies only by the treatment of function calls, and leads to a new CPS transform for call-by-need requiring a less expressive form of side effect, which is called constructive update.