참고문헌
- Robin Milner. A theory of type polymorphism in programming. Journal of Computer System Science, 17:348-375, 1978
- Luis Damas and Robin Milner. Principal typescheme for functional programs. In Proceedings of the 9th Annual ACM Symposium on Principles of Programming Languages, pages 207-212, New York, 1982. ACM
- Oukseh Lee and Kwangkeun Yi. Proofs about a folklore let-polymorphic type inference algorithm. ACM Transactions on Programming Languages and Systems, 20(4):707--723, July 1998 https://doi.org/10.1145/291891.291892
- Xavier Leroy. The Carnl Light system, release 0.6. Institut National de Recherche en Informatique eten Automatiquc, 1993
- J. A. Robinson, A machine-oriented logic based on the resolution principle. Journal of ACM, 12(l):23-41, January 1965 https://doi.org/10.1145/321250.321253
- Xavier Leroy. The Objective Caml system, release 2.02. Institut National de Recherche en Informatiquc et en Autornatiquc, 1999
- Xavier Leroy. The Caml Light system, release 0.74. Institut National de Recherche en Inforrnatique et en Automatique, 1997
- Michel Manny. Functional programming using Caml Light, January 1995
- Paris C. Kanellakis, Harry G. Mairson, and John C. Mitchell. Unification and ML type reconstruction. In Proceedings of the 17th Annual ACM Symposium on Principles of Programming Languages, pages 382-401, 1990