Pages that link to "Item:Q5372003"

The following pages link to No value restriction is needed for algebraic effects and handlers (Q5372003):

Displaying 3 items.

• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
• Continuation passing style for effect handlers (Q5111314) (← links)
• Local algebraic effect theories (Q5120228) (← links)