First-order unification by structural recursion.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 6, p. 1061, doi. 10.1017/s0956796803004957
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2003 AND VI 13 AND IP 6
Results: 5
1
2
Haskell in Space.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 6, p. 1077, doi. 10.1017/s0956796803004891
- By:
- Publication type:
- Article
3
Concepts in Programming Languages, by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 6, p. 1087, doi. 10.1017/s0956796803004842
- By:
- Publication type:
- Article
4
Single Assignment C: efficient support for high-level array operations in a functional setting.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 6, p. 1005, doi. 10.1017/s0956796802004458
- By:
- Publication type:
- Article
5
Regular expression pattern matching for XML.
- Published in:
- Journal of Functional Programming, 2003, v. 13, n. 6, p. 961, doi. 10.1017/s0956796802004410
- By:
- Publication type:
- Article