Explaining type inference - Concepedia

Concepedia

Publication | Closed Access

Explaining type inference

84

Citations

25

References

1996

Year

Dominic Duggan, Frederick Bent

Science of Computer Programming

EngineeringAutomated ReasoningType TheoryDependently Typed ProgrammingFormal MethodsType InferenceComputer ScienceType System

References

	Year	Citations

Page 1