Works matching IS 09567968 AND DT 2000 AND VI 10 AND IP 2
Results: 2
Program equivalence in a linear functional language.
- Published in:
- Journal of Functional Programming, 2000, v. 10, n. 2, p. 167, doi. 10.1017/s0956796899003639
- By:
- Publication type:
- Article
Type checking dependent (record) types and subtyping.
- Published in:
- Journal of Functional Programming, 2000, v. 10, n. 2, p. 137, doi. 10.1017/s0956796899003627
- By:
- Publication type:
- Article