Works matching IS 09567968 AND DT 1995 AND VI 5 AND IP 2
1
- Journal of Functional Programming, 1995, v. 5, n. 2, p. 225, doi. 10.1017/S0956796800001337
- Clack, Chris;
- Clayman, Stuart;
- Parrott, David
- Article
2
- Journal of Functional Programming, 1995, v. 5, n. 2, p. 201, doi. 10.1017/S0956796800001325
- Nipkow, Tobias;
- Prehofer, Christian
- Article
3
- Journal of Functional Programming, 1995, v. 5, n. 2, p. 155, doi. 10.1017/S0956796800001313
- Tolmach, Andrew;
- Appel, Andrew W.
- Article
4
- Journal of Functional Programming, 1995, v. 5, n. 2, p. 135, doi. 10.1017/S0956796800001301
- Jay, C. Barry;
- Ghani, Neil
- Article
5
- Journal of Functional Programming, 1995, v. 5, n. 2, p. b1, doi. 10.1017/S0956796800001295
- Article
6
- Journal of Functional Programming, 1995, v. 5, n. 2, p. f1, doi. 10.1017/S0956796800001283
- Article