The following pages link to (Q4002146):
Displaying 7 items.
- A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Abstract interpretation and types for systems biology (Q2518376) (← links)
- Formal descriptions of code properties: decidability, complexity, implementation (Q2909182) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)