1 results
Type checking dependent (record) types and subtyping
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 2 / March 2000
- Published online by Cambridge University Press:
- 01 March 2000, pp. 137-166
-
- Article
-
- You have access
- Export citation