Reductions, intersection types, and explicit substitutions.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 1, p. 55, doi. 10.1017/S0960129502003821
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2003 AND VI 13 AND IP 1
Results: 4
1
2
A conjunctive type system for useless-code elimination.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 1, p. 157, doi. 10.1017/S0960129502003869
- By:
- Publication type:
- Article
3
Modular control-flow analysis with rank 2 intersection types.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 1, p. 87, doi. 10.1017/S0960129502003845
- By:
- Publication type:
- Article
4
A simple proof of the undecidability of strong normalisation.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 1, p. 5, doi. 10.1017/S096012950200381X
- By:
- Publication type:
- Article