Видео последней в этом году лекции 16: правила типизации с ограничениями, обзор алгоритма вывода типов, алгоритм унификации ограничений Хиндли-Милнера, введение в полиморфное лямбда-исчисление.
Институт математики, механики и компьютерных наук ЮФУ, 2005–2021Администрация форума: В.Н. Брагилевский, С.С. Михалкович, А.М. Пеленицын