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