Theorem Proving for Functional Programmers-Reference-Cited by-同舟云学术

Theorem Proving for Functional Programmers

Published:2002 Issue: Volume: Page:55-71
ISSN:0302-9743
Container-title:Implementation of Functional Languages
language:
Short-container-title:

Author:

de Mol Maarten,van Eekelen Marko,Plasmeijer Rinus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46028-4_4

Reference14 articles.

1. P. Achten and M. Wierich. A Tutorial to the CLEAN Object I/O Library (version 1.2), Nijmegen, February 2000. CSI Technical Report, CSI-R0003.

2. E. Barendsen and S. Smetsers. Strictness Typing, Nijmegen, 1998. In proceedings of the 10th International Workshop on Implementation of Functional Languages (IFL’98), London, 1998, pages 101–116.

3. R. Bird. Introduction to Functional Programming using Haskell, second edition, Prentice Hall Europe, 1998, ISBN 0-13-484346-0.

4. A. Butterfield and G. Strong. Proving Correctness of Programs with I/O-a paradigm comparison, Dublin, 2001. In proceedings of the 13th InternationalWorkshop on Implementation of Functional Languages (IFL’01), Stockholm, 2001, pages 319–334.

5. The Coq Development Team. The Coq Proof Assistant Reference Manual (version 7.0), Inria, 1998. http://pauillac.inria.fr/coq/doc/main.html

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

1. ProofViz: An Interactive Visual Proof Explorer;Lecture Notes in Computer Science;2021

2. A survey of real‐time capabilities in functional languages and compilers;Concurrency and Computation: Practice and Experience;2018-10-23

3. Learning how the electron transport chain works: independent and interactive effects of instructional strategies and learners’ characteristics;Advances in Health Sciences Education;2015-03-01

4. The Design of a Practical Proof Checker for a Lazy Functional Language;Lecture Notes in Computer Science;2013

5. Beautiful Code, Beautiful Proof?;Lecture Notes in Computer Science;2013