Pages that link to "Item:Q3189790"
From MaRDI portal
The following pages link to A very modal model of a modern, major, general type system (Q3189790):
Displaying 26 items.
- A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
- Formally verifying exceptions for low-level code with separation logic (Q1683698) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- A solution to the PoplMark challenge based on de Bruijn indices (Q1945917) (← links)
- A list-machine benchmark for mechanized metatheory (Q1945921) (← links)
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- Guarded Dependent Type Theory with Coinductive Types (Q2811330) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
- Verified Software Toolchain (Q3000569) (← links)
- Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq (Q3087993) (← links)
- (Q4603450) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- (Q5094146) (← links)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- (Q5155670) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- A model of PCF in guarded type theory (Q5971407) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
