Residual theory in λ-calculus: a formal development.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 3, p. 371, doi. 10.1017/S0956796800001106
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1994 AND VI 4 AND IP 3
Results: 5
1
2
Algorithmic debugging for lazy functional languages.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 3, p. 337, doi. 10.1017/S095679680000109X
- By:
- Publication type:
- Article
3
Principal signatures for higher-order program modules.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 3, p. 285, doi. 10.1017/S0956796800001088
- By:
- Publication type:
- Article
4
JFP volume 4 issue 3 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 3, p. b1, doi. 10.1017/S0956796800001076
- Publication type:
- Article
5
JFP volume 4 issue 3 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 3, p. f1, doi. 10.1017/S0956796800001064
- Publication type:
- Article