Existential Quantification for Variant Ownership
Abstract elided by the publisher.
976 papers · page 26 of 49
Amortised Memory Analysis Using the Depth of Data Structures
Abstract elided by the publisher.
An Interval-Based Inference of Variant Parametric Types
Abstract elided by the publisher.
All Secrets Great and Small
Abstract elided by the publisher.
Deny-Guarantee Reasoning
Abstract elided by the publisher.
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?
Abstract elided by the publisher.
Abstraction for Concurrent Objects
Abstract elided by the publisher.
Modular Monad Transformers
Abstract elided by the publisher.
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Abstract elided by the publisher.
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
Abstract elided by the publisher.
A Basis for Verifying Multi-threaded Programs
Abstract elided by the publisher.
Is Structural Subtyping Useful? An Empirical Study
Abstract elided by the publisher.
Global Principal Typing in Partially Commutative Asynchronous Sessions
Abstract elided by the publisher.
Handlers of Algebraic Effects
Abstract elided by the publisher.
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
Abstract elided by the publisher.
Automatic Parallelization with Separation Logic
Abstract elided by the publisher.
Using Category Theory to Design Programming Languages
Abstract elided by the publisher.
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
Abstract elided by the publisher.
Formalising and Verifying Reference Attribute Grammars in Coq
Abstract elided by the publisher.
Exploring the Design Space of Higher-Order Casts
Abstract elided by the publisher.