1. Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Proc. of POPL 1982, pp. 207–212. ACM Press, New York (1982)
2. Lecture Notes in Computer Science;B. Demoen,1999
3. Faxén, K.F.: Haskell and principal types. In: Proc. of Haskell Workshop 2003, pp. 88–97. ACM Press, New York (2003)
4. Lecture Notes in Computer Science;T. Frühwirth,1995
5. Glasgow haskell compiler home page, http://www.haskell.org/ghc/