Dynamic Control Operators in Type Theory
No abstract available.
Related papers
- Hoare-style reasoning with (algebraic) continuations ICFP 2013
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- Heterogeneous Dynamic Logic: Provability Modulo Program Theories PLDI 2026
- A theory of typed coercions and its applications ICFP 2009
- HLIO: mixing static and dynamic typing for information-flow control in Haskell ICFP 2015
- Channel dependent types for higher-order mobile processes POPL 2004
- A Curry-Howard Foundation for Functional Computation with Control POPL 1997
- Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification VMCAI 2026