Theoretical Pearl Yet yet a counterexample for λ+SP.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 113, doi. 10.1017/S0956796800000976
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1994 AND VI 4 AND IP 1
Results: 10
1
2
Worst case scheduling for parallel functional programs.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 65, doi. 10.1017/S0956796800000940
- By:
- Publication type:
- Article
3
On the equivalence between CMC and TIM.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 47, doi. 10.1017/S0956796800000939
- By:
- Publication type:
- Article
4
JFP volume 4 issue 1 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. b1, doi. 10.1017/S0956796800000903
- Publication type:
- Article
5
JFP volume 4 issue 1 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. f1, doi. 10.1017/S0956796800000897
- Publication type:
- Article
6
Functional Pearl: On generating unique names.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 117, doi. 10.1017/S0956796800000988
- By:
- Publication type:
- Article
7
An overview of the Flagship system.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 19, doi. 10.1017/S0956796800000927
- By:
- Publication type:
- Article
8
How powerful are folding/unfolding transformations?
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 89, doi. 10.1017/S0956796800000964
- By:
- Publication type:
- Article
9
A-translation and looping combinators in pure type systems.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 77, doi. 10.1017/S0956796800000952
- By:
- Publication type:
- Article
10
A functional animation starter-kit.
- Published in:
- Journal of Functional Programming, 1994, v. 4, n. 1, p. 1, doi. 10.1017/S0956796800000915
- By:
- Publication type:
- Article