From Polyvariant flow information to intersection and union types.
- Published in:
- Journal of Functional Programming, 2001, v. 11, n. 3, p. 263, doi. 10.1017/S095679680100394X
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2001 AND VI 11 AND IP 3
Results: 2
1
2
Set constraints for destructive array update optimization.
- Published in:
- Journal of Functional Programming, 2001, v. 11, n. 3, p. 319, doi. 10.1017/S0956796801003938
- By:
- Publication type:
- Article