Type-checking injective pure type systems.
- Published in:
- Journal of Functional Programming, 1999, v. 9, n. 6, p. 675, doi. 10.1017/s0956796899003573
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1999 AND VI 9 AND IP 6
Results: 2
1
2
A confluent »-calculus with a catch/throw mechanism.
- Published in:
- Journal of Functional Programming, 1999, v. 9, n. 6, p. 625, doi. 10.1017/s0956796899003512
- By:
- Publication type:
- Article