A very modal model of a modern, major, general type system
Abstract
International audience
Related papers
- Control effects as a modality JFP 2009
- Modal Crash Types for WAR-Aware Intermittent Computing TOPLAS 2025
- Later credits: resourceful reasoning for the later modality ICFP 2022
- A unified view of modalities in type systems ICFP 2020
- Normalization by evaluation for modal dependent type theory JFP 2023
- Type Inference in the Presence of Type Abstraction PLDI 1989
- Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote) GPCE 2026
- A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized ICFP 2023