Publisher
Springer Berlin Heidelberg
Reference3 articles.
1. R. S. Bird. ‘An introduction to the theory of lists'. In Logic of Programming and Calculi of Descrete Design, M. Broy (ed.), Springer-Verlag, 1986, pp. 5–42.
2. R. S. Bird. ‘A calculus of functions for program derivation'. Technical monograph PRG-64, Programming Research Group, Oxford University Computing Laboratory, 1987. 21pp.
3. J. M. Spivey. ‘Term-rewriting without exceptions'. Submitted to Science of Computer Programming, 1988.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献