1974 г. по информатике

Система F Определение и применение системы F Система F – это лямбда-исчисление с типами, разработанное Хаскеллом и Милнером.  Она включает […]