타입 시스템에 의한 체계적인 복합형 프로그래밍

References

1. 9th Annual ACM Symposium on Principles of Programming Languages Principal type schemes for functional programs L.Damas;R.Milner
2. ACM SIGPLAN Notices v.27 no.5 A gentle introduction to Haskell P.Hudak;J.H.Fasel
3. ACM SIGPLAN Notices v.27 no.5 Report on the Programming Language Haskell, A Non-strict Purely Functional Language (Version 1.2) P.Hudak;S. Peyton Jones;P.Wadler(ed.)
4. Proc. Bastad Spring School, LNCS 925 Functional programming with overloading and higher-order polymorphism, Advanced Functional Programming Mark P. Jones
5. Haskell-The Craft of Functional Programming Simon Thompson