Pages that link to "Item:Q2811331"
From MaRDI portal
The following pages link to Dependent Types and Fibred Computational Effects (Q2811331):
Displaying 7 items.
- A general semantic construction of dependent refinement type systems, categorically (Q2233424) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- ν-Types for Effects and Freshness Analysis (Q3393400) (← links)
- Gradual type theory (Q5019016) (← links)
- (Q5214814) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- CHAD for expressive total languages (Q6149934) (← links)