Author:
de Mol Maarten,van Eekelen Marko,Plasmeijer Rinus
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Abel, A., Benke, M., Bove, A., Hughes, J., Norell, U.: Verifying Haskell programs using constructive type theory. In: Leijen, D. (ed.) Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, Tallinn, Estonia, pp. 62–74. ACM Press, New York (2005)
2. Lecture Notes in Computer Science;H.P. Barendregt,1987
3. Barendsen, E., Smetsers, S.: Graph rewriting aspects of functional programming. In: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 63–102. World Scientific, Singapore (1999)
4. Bird, R.S.: Introduction to Functional Programming using Haskell, 2nd edn. Prentice-Hall, Englewood Cliffs (1998)
5. Brus, T.H., van Eekelen, M.C.J.D., van Leer, M.O., Plasmeijer, M.J.: Clean: A language for functional graph writing. In: Proceedings of the Functional Programming Languages and Computer Architecture, pp. 364–384. Springer, Heidelberg (1987)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Beautiful Code, Beautiful Proof?;Lecture Notes in Computer Science;2013
2. EditorArrow: An arrow-based model for editor-based programming;Journal of Functional Programming;2012-11-22
3. Reasoning about I/O in Functional Programs;Central European Functional Programming School;2012