3 results
Term Rewriting Systems by “Terese”, Cambridge University Press, 2003
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 4 / July 2005
- Published online by Cambridge University Press:
- 12 July 2005, p. 651
-
- Article
-
- You have access
- Export citation
Red-black trees with types
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, pp. 425-432
-
- Article
-
- You have access
- Export citation
Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback).
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 633-637
-
- Article
-
- You have access
- Export citation