함수형 프로그래밍 기술을 이용한 프로그램 합성 방법

References

1. 함수형 프로그래밍에 대한 FAQ
2. Journal of Computer and System Science v.17 A theory of type polymorphism in programming Robin Milner
3. Proc. of ACM Symposium on Lisp and Functional Programming A proposal for Standard ML Robin Milner
4. Haskell 언어 홈 페이지
5. Handbook of Logic in Computer Science v.II Term rewriting systems J.W. Klop;Abramsky(et al.)(ed.)
6. The Lambda Calculus : Its Syntax and Semantics H. Barendregt
7. Computer Journal v.32 no.2 Why functional programming mattes John Hughes
8. Proc-eedings of Symposium on Lisp and Funct-ional Programming Comprehending Monads P. Wadler
9. The Haskell School of Expression : Learning Functional Programming Through Multimedia Paul Hudak
10. Cornal Eliott의 Fran 홈 페이지
11. Proc. of International Conference on Functional Programming Composing contracts: an adventure in financial engineering Simon Peyton Joes;Jean-Marc Eber;Julian Seward
12. Erlang 언어 홈 페이지
13. Proc. International Conference on Software Reuse Scripting COM Components in Haskell Simon Peyton Jones;Erik Meijer;Daan Leijen
14. Mondrian 스크립트 언어 홈 페이지