Concepedia
Publication | Closed Access
Explaining type inference
84
Citations
25
References
1996
Year
EngineeringAutomated ReasoningType TheoryDependently Typed ProgrammingFormal MethodsType InferenceComputer ScienceType System
Page 1