Refining reduction in the lambda calculus.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. 637, doi. 10.1017/S0956796800001507
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1995 AND VI 5 AND IP 4
Results: 10
1
2
Author Index to Volume 5.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. 661, doi. 10.1017/S0956796800001520
- Publication type:
- Article
3
Concurrent Programming in Erlang.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. 653, doi. 10.1017/S0956796800001519
- By:
- Publication type:
- Article
4
A unifying type-theoretic framework for objects.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. 593, doi. 10.1017/S0956796800001490
- By:
- Publication type:
- Article
5
Communication lifting: fixed point computation for parallelism.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. 549, doi. 10.1017/S0956796800001477
- By:
- Publication type:
- Article
6
Semantics directed program execution monitoring.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. 501, doi. 10.1017/S0956796800001465
- By:
- Publication type:
- Article
7
Simple and efficient purely functional queues and deques.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. 583, doi. 10.1017/S0956796800001489
- By:
- Publication type:
- Article
8
On-line and off-line partial evaluation: semantic specifications and correctness proofs.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. 461, doi. 10.1017/S0956796800001453
- By:
- Publication type:
- Article
9
JFP volume 5 issue 4 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. b1, doi. 10.1017/S0956796800001441
- Publication type:
- Article
10
JFP volume 5 issue 4 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 1995, v. 5, n. 4, p. f1, doi. 10.1017/S095679680000143X
- Publication type:
- Article