Pages that link to "Item:Q4882492"
From MaRDI portal
The following pages link to Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492):
Displaying 9 items.
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- On the implementation of abstract data types by programming language constructs (Q1089793) (← links)
- A hidden agenda (Q1575735) (← links)
- (Q3757375) (← links)
- (Q3785902) (← links)
- (Q4336197) (← links)
- (Q4725723) (← links)
- (Q4763985) (← links)
- Decision procedures for algebraic data types with abstractions (Q5255074) (← links)