Just Fast Keying in the Pi Calculus
Abstract elided by the publisher.
976 papers · page 33 of 49
ULM: A Core Programming Model for Global Computing: (Extended Abstract)
Abstract elided by the publisher.
Compositional Analysis of Authentication Protocols
Abstract elided by the publisher.
Extracting a Data Flow Analyser in Constructive Logic
Abstract elided by the publisher.
ML-Like Inference for Classifiers
Abstract elided by the publisher.
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types
Abstract elided by the publisher.
From Constraints to Finite Automata to Filtering Algorithms
Abstract elided by the publisher.
Sound and Decidable Type Inference for Functional Dependencies
Abstract elided by the publisher.
Linear Types for Packet Processing
Abstract elided by the publisher.
A Memoizing Semantics for Functional Logic Languages
Abstract elided by the publisher.
Static Analysis of Digital Filters
Abstract elided by the publisher.
Functors for Proofs and Programs
Abstract elided by the publisher.
Semantical Analysis of Specification Logic, 3: An Operational Approach
Abstract elided by the publisher.
Adaptive Pattern Matching on Binary Data
Abstract elided by the publisher.
Trust Management in Strand Spaces: A Rely-Guarantee Method
Abstract elided by the publisher.
A Hardest Attacker for Leaking References
Abstract elided by the publisher.
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
Abstract elided by the publisher.
Modal Proofs as Distributed Programs (Extended Abstract)
Abstract elided by the publisher.
A Control Flow Analysis for Safe and Boxed Ambients
Abstract elided by the publisher.
A Dependently Typed Ambient Calculus
Abstract elided by the publisher.