Practical Variable-Arity Polymorphism
Abstract elided by the publisher.
976 papers · page 27 of 49
A Theory of Non-monotone Memory (Or: Contexts for free)
Abstract elided by the publisher.
Well-Typed Programs Can't Be Blamed
Abstract elided by the publisher.
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees
Abstract elided by the publisher.
Non-disjunctive Numerical Domain for Array Predicate Abstraction
Abstract elided by the publisher.
Certificate Translation in Abstract Interpretation
Abstract elided by the publisher.
Typing Safe Deallocation
Abstract elided by the publisher.
A Hybrid Denotational Semantics for Hybrid Systems
Abstract elided by the publisher.
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Abstract elided by the publisher.
Ranking Abstractions
Abstract elided by the publisher.
Regular Expression Subtyping for XML Query and Update Languages
XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be equivalent: a declarative version in which the subsumption rule may be used anywhere, and an algorithmic vers…
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)
Abstract elided by the publisher.
Semi-persistent Data Structures
Abstract elided by the publisher.
Constructive Mathematics and Functional Programming (Abstract)
Abstract elided by the publisher.
A Formal Implementation of Value Commitment
Abstract elided by the publisher.
Full Abstraction for Linda
Abstract elided by the publisher.
Cover Algorithms and Their Combination
Abstract elided by the publisher.
A Theory of Hygienic Macros
Abstract elided by the publisher.
Oracle Semantics for Concurrent Separation Logic
Abstract elided by the publisher.
Just Forget It - The Semantics and Enforcement of Information Erasure
Abstract elided by the publisher.