The following pages link to Stefan Wehr (Q526444):
Displayed 5 items.
- The interaction of contracts and laziness (Q526445) (← links)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- On the decidability of subtyping with bounded existential types and implementation constraints (Q1758661) (← links)
- A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go (Q6065507) (← links)
- Semantic preservation for a type directed translation scheme of Featherweight Go (Q6109210) (← links)