Карделли Л. — О понимании типов,абстракции данных и полиморфизма
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: О понимании типов,абстракции данных и полиморфизма
Автор: Карделли Л.
Аннотация:
Наша цель это рассмотреть понятие типов в языках программирования,представить
модель типизированного ,полиморфного языка программирования ,который отражает
недавние исследования в теории типов и проверить значимость последних исследований
в конструировании практически применимого языка программирования.
|
|
О проекте