HM(X) type inference is CLP(X) solving.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 2, p. 251, doi. 10.1017/S0956796807006569
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2008 AND VI 18 AND IP 2
Results: 3
1
2
Types and trace effects of higher order programs.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 2, p. 179, doi. 10.1017/S0956796807006466
- By:
- Publication type:
- Article
3
A type system with usage aspects.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 2, p. 141, doi. 10.1017/S0956796807006399
- By:
- Publication type:
- Article