Semantic Foundations for Gradual Typing (abstract)

Exception Handling and Classical Logic (abstract)

Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus (abstract)

Crumbling Abstract Machines (abstract)

Sharing Equality is Linear (abstract)

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation (abstract)

Generic Encodings of Constructor Rewriting Systems (abstract)

Property-Based Testing via Proof Reconstruction (abstract)

Intrinsically-Typed Mechanized Semantics for Session Types (abstract)

An Adequate While-Language for Hybrid Computation (abstract)

A Calculus for Concurrent and Sequential Programming (abstract)

Relational Symbolic Execution (abstract)

Under Control: Compositionally Correct Closure Conversion with Mutable State (abstract)

TopHat: A formal foundation for task-oriented programming (abstract)

10 Years of the Higher-Order Model Checking Project (abstract)

Functional Reactive Programming, restated (abstract)

Functional programming with lambda-tree syntax (abstract)

Spacetime Programming: A Synchronous Language for Composable Search Strategies (abstract)

Foundations of Session types: 10 Years Later (abstract)

Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms (abstract)

Smart Contracts as Authorized Production Rules (abstract)

Type-Driven Verification of Extra-Functional Properties (abstract)

Exponential Elimination for Bicartesian Closed Categorical Combinators (abstract)

Reversibilization in Functional and Concurrent Programming (abstract)