#ТЯП, семинар 3

Курс «CS301. Теория языков программирования», институт математики, механики и компьютерных наук им. И.И. Воровича, Южный федеральный университет Вывод отношения типизация, как реализовать «тайпчекер». Детерминированное и недетерминированное отношения одношагового вычисления в семантике с малым шагом, связь со стратегиями редукции. Расширения языка SNB операторами для строк.