Lambda-calculus schemata-Reference-Cited by-同舟云学术

Lambda-calculus schemata

Published:1993-11 Issue:3-4 Volume:6 Page:259-287
ISSN:0892-4635
Container-title:LISP and Symbolic Computation
language:en
Short-container-title:LISP and Symbolic Computation

Author:

Fischer Michael J.

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software,General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01019461.pdf

Reference37 articles.

1. Berry, Daniel M. Introduction to Oregano.SIGPLAN Notices, 6, 2 (February 1971) 171-190.

2. Berry, Daniel M. Block structure: Retention or deletion. InProceedings of the Third Annual ACM Symposium on Theory of Computing (1972) 86?100.

3. Chandra, Ashok K.On the Properties and Applications of Program Schemas. PhD thesis, Computer Science Department, Stanford University (1973). Also appears as Report No. CS-336, AI-188 (February 1973).

4. Church, Alonzo.The Calculi of Lambda-Conversion. Annals of Mathematics Studies. Princeton University Press, Princeton, New Jersey (1941).

5. Cole, Steven N. Pushdown store machines and real-time computation. InProceedings of the [First Annual] ACM Symposium on Theory of Computing (1969) 233?245.

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. No-brainer CPS conversion (functional pearl);Proceedings of the ACM on Programming Languages;2017-08-29

2. Deriving a probability density calculator (functional pearl);ACM SIGPLAN Notices;2016-12-05

3. Deriving a probability density calculator (functional pearl);Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04

4. Peter J. Landin (1930–2009);Higher-Order and Symbolic Computation;2009-06

5. Comments on temporal logics for real-time system specification;ACM Computing Surveys;2009-02