Pages that link to "Item:Q2761748"
From MaRDI portal
The following pages link to A semantics for \(\lambda_{str}^{\{\,\}}\): A calculus with overloading and late-binding (Q2761748):
Displaying 5 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Formalizing non-termination of recursive programs (Q1349246) (← links)
- Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\) (Q1392284) (← links)
- A calculus for overloaded functions with subtyping (Q1891168) (← links)
- A semantics for \(\lambda\)\&-\textit{early}: A calculus with overloading and early binding (Q4281468) (← links)
