The following pages link to Functional and Logic Programming (Q5308022):
Displaying 5 items.
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- A type system for effect handlers and dynamic labels (Q6535238) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)