The following pages link to (Q4738223):
Displayed 5 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)
- GS·Λ Theories (Q2842817) (← links)