*tapl

Marisa 12.01.2013 23:43

>В любом случае, если вы хотите узнать о теории типов, купите книгу "Типы и Языки Программирования" от Бенджамина Ф. Пирса. Если вы всё ещё запутались, вы можете развеять все трудности с помощью "Продвинутых Вопросов в Типах и Языках Программирования" от Бенджамина Ф. Пирса. Предположительно, Профессор Пирс сейчас ... more →

*tapl is used by:

Marisa Waller

Marisa