Publication | Closed Access
On hierarchies of abstract data types
133
Citations
16
References
1983
Year
Abstract Data TypesEngineeringData TypeData ScienceAutomated ReasoningPolymorphism (Computer Science)Type TheoryFormal Methods
| Year | Citations | |
|---|---|---|
Page 1
Page 1