[[Lisp]]

- on Lisp

- Practical Common Lisp

- Paradigms of AI Programming


[[Haskell]]

- Haskell Programming from First Principles

- Functional Data Structures and Algorithms

- Sockets and Pipes


[[기타]]

- (Coq) Software Foundations

- (Scala) 스칼라로 배우는 함수형 프로그래밍

- (Scheme) SICP, HTDP


5년 내로 모두 읽는 게 목표