An Introduction to the Theory of Lists-Reference-Cited by-同舟云学术

An Introduction to the Theory of Lists

Published:1987 Issue: Volume: Page:5-42
ISSN:
Container-title:Logic of Programming and Calculi of Discrete Design
language:
Short-container-title:

Author:

Bird Richard S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-87374-4_1.pdf

Reference7 articles.

1. Bird, R.S. Transformational programming and the paragraph problem. Science of Computer Programming 6 (1986) 159–189.

2. Bird, R.S. The promotion and accumulation strategies in transformational programming. ACM. Trans, on Prog. Lang, and Systems 6 (1984) 487–450. Addendum Ibid 7 (1985).

3. Bird, R.S. and Hughes, R.J.M. The alpha-beta algorithm: an exercise in program transformation. Inf. Proc. Letters (to appear 1986).

4. Bird, R.S. and Meertens L.G.L.T Two exercises found in a book on algorithmics. Proc. TC2 Conference on Program Specification and Transformation, Bad Tolz, W. Germany 1986 (to appear Springer LNCS 1986).

5. Bird, R.S. and Wadler, P. An Introduction to Functional Programming Prentice-Hall (to be published 1987).

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

1. Meld Exploring the Feasibility of a Framework-less Framework;EPJ Web of Conferences;2024

2. Verified High Performance Computing: The SyDPaCC Approach;Lecture Notes in Computer Science;2023-12-19

3. Contract lenses: Reasoning about bidirectional programs via calculation;Journal of Functional Programming;2023

4. Introducing Moldable Tasks in OpenMP;OpenMP: Advanced Task-Based, Device and Compiler Programming;2023

5. Vecpar – A Framework for Portability and Parallelization;Computational Science – ICCS 2023;2023