3зной
1ответ
Как представить sugared λ-члены в Haskell?
1зной
1ответ
Что такое каноническая реализация System F?
0зной
2ответ
1зной
1ответ
Найти наиболее общие тип следующей лямбды-термины исчисления
3зной
1ответ
Тип анонимной функции идентичности в Идриса
4зной
1ответ