A Category-Theoretic Framework for Dependent Effect Systems

Documenti analoghi

• A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
  di: Watanabe, Kazuki, et al.
  Pubblicazione: (2025)
• Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
  di: Kura, Satoshi, et al.
  Pubblicazione: (2024)
• A Hierarchy of Supermartingales for $ω$-Regular Verification
  di: Kura, Satoshi, et al.
  Pubblicazione: (2025)
• Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
  di: Kura, Satoshi, et al.
  Pubblicazione: (2025)
• On Complete Categorical Semantics for Effect Handlers
  di: Kura, Satoshi
  Pubblicazione: (2026)