Higher-Order Polymorphic Sized Types for Safety Checks
No abstract available.
Related papers
- Types and trace effects of higher order programs JFP 2008
- System FR: formalized foundations for the stainless verifier OOPSLA 2019
- Type-Checking Higher-Order Polymorphic Multi-Methods POPL 1997
- On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs OOPSLA 2025
- Garbage-Collection Safety for Region-Based Type-Polymorphic Programs PLDI 2023
- Automating sized-type inference for complexity analysis ICFP 2017
- Crabtree: Rust API Test Synthesis Guided by Coverage and Type OOPSLA 2024
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009