Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. S. Ahuja, N. Carriero, D. Gelernter, and V. Krishnswamy. Matching languages and hardware for parallel computation in the Linda machine. IEEE Transactions on Computers, 37, No.8:921–929, August 1988.
2. C. Banger. Arrays with categorical type constructors. In ATABLE’92 Proceedings of a Workshop and Arrays, June 1992.
3. R.S. Bird. A calculus of functions for program derivation. Oxford University Programming Research Group Monograph PRG-64, 1987.
4. R.S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, pages 3–42. Springer-Verlag, 1987.
5. R.S. Bird. Lectures on constructive functional programming. Oxford University Programming Research Group Monograph PRG-69, 1988.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献