Tags
2 페이지
Functional-Programming
타입 이론과 커리-하워드 동형대응: 명제=타입, 증명=프로그램의 심오한 조화
Haskell과 순수 함수형 언어의 철학: 모나드의 세계와 그 심연
