Pages that link to "Item:Q1870488"

The following pages link to Comparing control constructs by double-barrelled CPS (Q1870488):

Displaying 5 items.

• Combining algebraic effects with continuations (Q879352) (← links)
• A type-theoretic foundation of delimited continuations (Q968364) (← links)
• A System F with Call-by-Name Exceptions (Q3519511) (← links)
• The worker/wrapper transformation (Q3616448) (← links)
• Calculating correct compilers (Q5371953) (← links)