deniok: (Default)
2012-05-11 10:28 pm
  • Add Memory
  • Share This Entry
Entry tags:
  • fp,
  • haskell,
  • академический университет,
  • образование,
  • функциональное программирование

Поступайте к нам учиться!

Originally posted by [livejournal.com profile] edwardahirsch at Видеоролик о кафедре математических и информационных технологий Академического Университета
  • Add Memory
  • Share This Entry
  • Link
  • 12 comments
  • Post a new comment
deniok: (Default)
2007-05-09 01:53 pm
  • Add Memory
  • Share This Entry
Entry tags:
  • curry-howard,
  • haskell,
  • функциональное программирование

"Theorems for Free!" Вадлера и Curry-Howard изоморфизм

Продираюсь (с удовольствием) через "Theorems for Free!" Вадлера
http://citeseer.ist.psu.edu/wadler89theorems.html

и не встречаю там термина Curry-Howard изоморфизм. Ни разу. Хотя речь-то о нём. Или нет?
  • Add Memory
  • Share This Entry
  • Link
  • 5 comments
  • Post a new comment

[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]