Science of Computer Programming 8/2 (April 1987) On polymorphism in programming languages. A bit of history. Pragmatic motivation. A simple applicative language. Types. The type of length. Typechecking. A digression on models, inference systems and algorithms. An inference system. Conclusions and acknowledgements. Appendix: The program.
Комментарии