The following pages link to (Q4038678):
Displaying 5 items.
- System \(T\), call-by-value and the minimum problem (Q1274979) (← links)
- A formal equational theory for call-by-push-value (Q1791198) (← links)
- An abstract machine for strong call by value (Q2038078) (← links)
- Call-by-value lambda calculus as a model of computation in Coq (Q2319993) (← links)
- Extended call-by-push-value: reasoning about effectful programs and evaluation order (Q6091305) (← links)