A syntactic method for finding least fixed points of higher-order functions over finite domains.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 4, p. 357, doi. 10.1017/s0956796897002797
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1997 AND VI 7 AND IP 4
Results: 4
1
2
Extending a »-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 4, p. 395, doi. 10.1017/s0956796897002785
- By:
- Publication type:
- Article
3
ML for the Working Programmer (2nd edition) by L. C. Paulson, Cambridge University Press, 1996.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 4, p. 447, doi. 10.1017/s0956796897002761
- By:
- Publication type:
- Article
4
A competitive algorithm for managing sharing in the distributed execution of functional programs.
- Published in:
- Journal of Functional Programming, 1997, v. 7, n. 4, p. 421, doi. 10.1017/s095679689700275x
- By:
- Publication type:
- Article