Dependent ML An approach to practical programming with dependent types.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 2, p. 215, doi. 10.1017/S0956796806006216
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2007 AND VI 17 AND IP 2
Results: 3
1
2
Type sharing constraints and undecidability.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 2, p. 207, doi. 10.1017/S0956796806006204
- By:
- Publication type:
- Article
3
An extended comparative study of language support for generic programming.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 2, p. 145, doi. 10.1017/S0956796806006198
- By:
- Publication type:
- Article