Pages that link to "Item:Q2828265"
From MaRDI portal
The following pages link to Dependent types and multi-monadic effects in \(\mathrm{F}^*\) (Q2828265):
Displaying 16 items.
- Short variable length domain extenders with beyond birthday bound security (Q1633453) (← links)
- State separation for code-based game-playing proofs (Q1710673) (← links)
- Modular verification of programs with effects and effect handlers in Coq (Q2024352) (← links)
- Automatic proofs of memory deallocation for a Whiley-to-C compiler (Q2058392) (← links)
- A tutorial-style introduction to \(\mathsf{DY}^{\star}\) (Q2154012) (← links)
- Deniable Functional Encryption (Q2798776) (← links)
- Context dependent procedures and computed types in \texttt{VeriFun} (Q2866336) (← links)
- L ax F: Side Conditions and External Evidence as Monads (Q2922027) (← links)
- Verified Characteristic Formulae for CakeML (Q2988660) (← links)
- Modular Verification of Higher-Order Functional Programs (Q2988670) (← links)
- (Q3385643) (← links)
- Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code (Q5018778) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)
- Secure distributed programming with value-dependent types (Q5176981) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)
- Identifying overly restrictive matching patterns in SMT-based program verifiers (extended version) (Q6610379) (← links)
