research
∙
07/18/2023
Polynomial Time and Dependent Types
We combine dependent types with linear type systems that soundly and com...
share
research
∙
02/10/2022
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Verification of neural networks is currently a hot topic in automated th...
research
∙
01/26/2021
Compositional Game Theory, Compositionally
We present a new compositional approach to compositional game theory (CG...
research
∙
05/05/2020
A Linear Algebra Approach to Linear Metatheory
Linear typed λ-calculi are more delicate than their simply typed sibling...
research
∙
01/29/2020
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Almost every programming language's syntax includes a notion of binder a...
research
∙
03/04/2019
Dijkstra Monads for All
This paper proposes a general semantic framework for verifying programs ...
research
∙
07/10/2018
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
The seventh workshop on Mathematically Structured Functional Programming...
research
∙
10/23/2017