Exploring the Design Space of Higher-Order Casts
Abstract elided by the publisher.
Related papers
- Gradual Indexed Inductive Types ICFP 2024
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness OOPSLA 2025
- Confined gradual typing OOPSLA 2014
- Type-safe cast JFP 2004
- Type-safe cast: functional pearl ICFP 2000
- Stateful manifest contracts POPL 2017
- Synthesizing method sequences for high-coverage testing OOPSLA 2011
- Partial-Order Reduction in Symbolic State Space Exploration CAV 1997