Зарегистрироваться
Восстановить пароль
FAQ по входу

Darnas L., Milner R. Principal type-schemes for functional programs

  • Файл формата pdf
  • размером 263,71 КБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Darnas L., Milner R. Principal type-schemes for functional programs
Статья от создателей языка ML и разработчиков алгоритма типизации Хиндли-Милнера. В статье приводится описание алгоритма W.
Краткое содержание:
The language
Type Instantiation
Semantics
Type Inference
The type assignment algorithm W
Completeness of W
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация
Наверх