Monads for functional programming-Reference-Cited by-同舟云学术

Monads for functional programming

Published:1995 Issue: Volume: Page:24-52
ISSN:0302-9743
Container-title:Advanced Functional Programming
language:
Short-container-title:

Author:

Wadler Philip

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59451-5_2.pdf

Reference23 articles.

1. S. Abramsky and C. Hankin, Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987.

2. A. Bloss, Update analysis and the efficient implementation of functional aggregates. In 4 th Symposium on Functional Programming Languages and Computer Architecture, ACM, London, September 1989.

3. R. Bird and P. Wadler, Introduction to Functional Programming. Prentice Hall, 1987.

4. P. Hudak, S. Peyton Jones and P. Wadler, editors, Report on the Programming Language Haskell: Version 1.1. Technical report, Yale University and Glasgow University, August 1991.

5. J.-Y. Girard, Linear logic. Theoretical Computer Science, 50:1–102, 1987.

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

1. Calculating Compilers Effectively (Functional Pearl);Proceedings of the 17th ACM SIGPLAN International Haskell Symposium;2024-08-28

2. Monadic Intersection Types, Relationally;Lecture Notes in Computer Science;2024

3. SmartAudits: Applying Timebands to a Medical Device;Lecture Notes in Computer Science;2024

4. A Lightweight Approach for Large CAD Models Based on Lazy Loading;2023 IEEE 18th Conference on Industrial Electronics and Applications (ICIEA);2023-08-18

5. Quantitative Global Memory;Logic, Language, Information, and Computation;2023