Publication | Closed Access
An ideal model for recursive polymorphic types
204
Citations
15
References
1986
Year
EngineeringAutomated ReasoningPolymorphism (Computer Science)Type TheoryFormal MethodsComputer ScienceIdeal ModelRecursive Function
| Year | Citations | |
|---|---|---|
Page 1
Page 1