The complexity of type inference for higher-order typed lambda calculi.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. 435, doi. 10.1017/S0956796800001143
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1994 AND VI 4 AND IP 4
Results: 9
1
2
Total unfolding: theory and applications.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. 479, doi. 10.1017/S0956796800001155
- By:
- Publication type:
- Article
3
Author Index to Volume 4.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. 561, doi. 10.1017/S0956796800002057
- Publication type:
- Article
4
Safe fusion of functional expressions II: Further improvements.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. 515, doi. 10.1017/S0956796800001179
- By:
- Publication type:
- Article
5
On the generation of specializers.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. 499, doi. 10.1017/S0956796800001167
- By:
- Publication type:
- Article
6
Introduction to HOL: a theorem proving environment for higher order logic.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. 557, doi. 10.1017/S0956796800001180
- By:
- Publication type:
- Article
7
Lilac: a functional programming language based on linear logic.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. 395, doi. 10.1017/S0956796800001131
- By:
- Publication type:
- Article
8
JFP volume 4 issue 4 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. b1, doi. 10.1017/S095679680000112X
- Publication type:
- Article
9
JFP volume 4 issue 4 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 4, p. f1, doi. 10.1017/S0956796800001118
- Publication type:
- Article