Reference24 articles.
1. Generic functional programming with types and relations;Bird;J. Funct. Programm.,1996
2. R.S. Bird, The promotion and accumulation strategies in transformational programming, ACM Trans. Programm. Languages Systems 6 (4) (1994) 487–504, see also [3].
3. Addendum to the promotion and accumulation strategies in transformational programming;Bird;ACM Trans. Programm. Languages Systems,1985
4. R.S. Bird, An introduction to the theory of lists, in: M. Broy (Ed.), Logic of Programming and Calculi of Discrete Design, Springer, Berlin, 1987, pp. 3–42. Also available as Technical Monograph PRG-56, from the Programming Research Group, Oxford University.
5. Formal derivation of a pattern matching algorithm;Bird;Sci. Comput. Programm.,1989
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献