Concepedia
Publication | Closed Access
Partial abstract types
163
Citations
11
References
1982
Year
Automated ReasoningPolymorphism (Computer Science)Type TheoryPartial Abstract TypesType System
Page 1