The following pages link to (Q4411826):
Displaying 4 items.
- Call-by-push-value: Decomposing call-by-value and call-by-name (Q857915) (← links)
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- A typed store-passing translation for general references (Q5408539) (← links)
- Typed Lambda Calculi and Applications (Q5704031) (← links)