Transparent optimisation of rewriting combinators.
- Published in:
- Journal of Functional Programming, 1999, v. 9, n. 2, p. 113, doi. 10.1017/s0956796899003391
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 1999 AND VI 9 AND IP 2
Results: 5
1
2
HOLCF = HOL + LCF.
- Published in:
- Journal of Functional Programming, 1999, v. 9, n. 2, p. 191, doi. 10.1017/s095679689900341x
- By:
- Publication type:
- Article
3
Functional design and implementation of graphical user interfaces for theorem provers.
- Published in:
- Journal of Functional Programming, 1999, v. 9, n. 2, p. 167, doi. 10.1017/s0956796899003421
- By:
- Publication type:
- Article
4
Automatic verification of functions with accumulating parameters.
- Published in:
- Journal of Functional Programming, 1999, v. 9, n. 2, p. 225, doi. 10.1017/s0956796899003408
- By:
- Publication type:
- Article
5
Implementing theorem provers in a purely functional style.
- Published in:
- Journal of Functional Programming, 1999, v. 9, n. 2, p. 147, doi. 10.1017/s095679689900338x
- By:
- Publication type:
- Article