type theory 하시는 분 계신가요?

[기괴공학도(mecheng98)]

입문서 추천 좀

[ㅁㅁ(110.70)]

Type theory and functional programming (사이먼 톰슨) 얘가 일단 pdf가 구글링으로 나오는 책입니다. 슬쩍 보시다가 다른 것들도 찾아 보세요.