The following pages link to (Q4738223):
Displayed 4 items.
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)