Region analysis and a À-calculus with groups.
- Published in:
- Journal of Functional Programming, 2002, v. 12, n. 3, p. 229, doi. 10.1017/S0956796801004270
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2002 AND VI 12 AND IP 3
Results: 2
1
2
A calculus with polymorphic and polyvariant flow types.
- Published in:
- Journal of Functional Programming, 2002, v. 12, n. 3, p. 183, doi. 10.1017/S0956796801004245
- By:
- Publication type:
- Article