Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. R. S. Bird, P. Wadler “Introduction to Functional Programming”, Prentice Hall, 1988.
2. K. Gödel “On a hitherto unutilized extension of the finitary standpoint”, Dialectica 12, pp 280–287 (1958).
3. R. Harper, D. MacQueen, R. Milner “Standard ML”, University of Edinburgh LFCS Report 86-2, 1986.
4. Paul Hudak et al. “Report on the Programming Language Haskell”, SIGPLAN Notices, vol 27, no 5 (May 1992).
5. A. M. Pitt “A Co-induction Principle for Recursively Defined Domains”, Theoretical Computer Science, vol 124, 1994.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献