Статья Л. Карделли в Science of Computer Programming 8/2 (April
1987), посвящённая полиморфизму в языках программирования.
Содержание:
Introduction.
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.
References.
Appendix: The program.
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.
References.
Appendix: The program.