1. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically-typed language. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1989, pp. 213–227. ACM, New York (1989)
2. Ashkenas, J.: List of languages that compile to JavaScript,
https://github.com/jashkenas/coffee-script/wiki/List-of-languages-that-compile-to-JS
3. Lecture Notes in Computer Science;E. Cooper,2007
4. Dijkstra, A.: The Utrecht Haskell Compiler JavaScript Backend,
http://uu-computerscience.github.com/uhc-js/
5. Domoszlai, L., Bruël, E., Jansen, J.M.: Implementing a non-strict purely functional language in JavaScript. Acta Univ. Sapientiae. Informatica 3(1), 76–98 (2011)