Bibliography

• [1] H. B. Curry and R. Feys, Combinatory Logic. North-Holland Pub. Co., Amsterdam, 1958.
• [2] J. Backus, “Can programming be liberated from the von Neumann style? A functional style and its algebra of programs.,” CACM, vol. 21, no. 8, pp. 613–641, Aug. 1978.
• [3] Unicode Consortium, “Unicode Standard.” [Online]. Available: http://unicode.org/standard/standard.html
• [4] R. Hindley, “The Principal Type Scheme of an Object in Combinatory Logic,” Transactions of the American Mathematical Society, vol. 146, pp. 29–60, Dec. 1969.
• [5] L. Damas and R. Milner, “Principal Type-Schemes for Functional Programs,” in Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages, New York: ACM Press, 1982, pp. 207–212.
• [6] M. Jones, “A system of constructor classes: overloading and implicit higher-order polymorphism,” Journal of Functional Programming, vol. 5, no. 1, pp. 1–36, Jan. 1995.
• [7] P. Wadler and S. Blott, “How to Make \em ad hoc Polymorphism Less \em ad hoc,” in Proceedings of 16th ACM Symposium on Principles of Programming Languages, Austin, Texas, Jan. 1989, pp. 60–76.
• [8] P. Penfield Jr., “Principal Values and Branch Cuts in Complex APL,” in APL '81 Conference Proceedings, San Francisco, Sep. 1981, pp. 248–256.
• [9] B. W. Kernighan and D. M. Ritchie, The C Programming Language, Second. Prentice Hall, 1988.
• [10] J. Gosling, B. Joy, and G. Steele, The Java Language Specification. in The Java Series. Addison-Wesley, 1997.
• [11] T. Lindholm and F. Yellin, The Java Virtual Machine Specification. Addison-Wesley, 1996.
• [12] S. Liang, The Java Native Interface: Programmer's Guide and Specification. Addison Wesley, 1999.
• [13] I. S. ISO/IEC, “Programming Languages – C.”