Pages that link to "Item:Q5687911"
From MaRDI portal
The following pages link to Type classes with existential types (Q5687911):
Displaying 5 items.
- Graph-based communication in Eden (Q526455) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← 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)
- A Dictionary-Passing Translation of Featherweight Go (Q6488146) (← links)