프로그래밍언어에서의 타입 시스템의 역할

References

1. The Defintion of Standard ML Robin Miler;Mads Tofte;Robert Harper
2. Elements of ML Programming Jeffrey D. Ullman
3. TypeSystems Luca Cardeli
4. Technical Report of Rice University TR91-160 A syntactic approach to type soundness Andrew K. Wright;Matthias Felleisen
5. Ninth Annual ACM Symposium on Principles of Programming Languages Principal type-scheme for functional programs Luis Damas;Robin Milner