Pages that link to "Item:Q3189775"
From MaRDI portal
The following pages link to Operational semantics for multi-language programs (Q3189775):
Displayed 10 items.
- Space-efficient gradual typing (Q656856) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- Reconciling method overloading and dynamically typed scripting languages (Q2275534) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- How to evaluate the performance of gradual type systems (Q4972071) (← links)
- Blame and coercion: Together again for the first time (Q5019015) (← links)
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi (Q5020907) (← links)
- Reasoning About Multi-Lingual Exception Handling Using RIPLS (Q5415618) (← links)