- 타입으로 견고하게 다형성으로 유연하게 - 홍재민 (2023)
- 해커와 화가 - Paul Graham (2014)
- 함수형 언어 산책 - 이동규 (2019)
- 브루스 테이트의 세븐 랭귀지 - Bruce Tate (2015)
- 함수형 사고 - Neal Ford (2016)
- 함수형 프로그래밍 - Jack Widman (2024)
- 순수 함수형 데이터 구조 - Chris Okasaki (2019)
- 프로그래밍언어론 - Robert W. Sebesta (2012)
- 프로그래밍언어론 원리와 실제 - 창병모 (2021)
- 프로그래밍언어론 - 안기영, 손범준 (2023)
- 프로그래밍 언어 개념 - 원유헌 (2011)
- 프로그래밍 언어론 원리+유형 - Allen B. Tucker, Robert E. Noonan (2008)
- 프로그램 디자인, 어떻게 할 것인가 (HTDP) - Matthias Felleisen (2011)
- 컴퓨터 프로그램의 구조와 해석 (SICP) - Harold Abelson, Gerald Jay Sussman, Julie Sussman (2016)
- 만들면서 배우는 리스프 프로그래밍 - Conrad Barski (2011)
- 클로저 시작하기 - Carin Meier (2016)
- 프로그래밍 클로저 - Stuart Halloway (2010)
- 클로저 프로그래밍의 즐거움 - Michael Fogus, Chris Houser (2016)
- 누구나 쉽게 배우는 클로저 - Daniel Higginbotham (2016)
- 함수형 자바스크립트 프로그래밍 - 유인동 (2017)
- 함수형 자바스크립트 - Luis Atencio (2018)
- 함수형 자바스크립트 입문 2/e - Anto Aravinth, Srikanth Machiraju (2020)
- 쏙쏙 들어오는 함수형 코딩 - Eric Normand (2022)
- 자바스크립트로 배우는 SICP - Harold Abelson, Gerald Jay Sussman, Martin Henz, Tobias Wrigstad, Julie Sussman (2022)
- 모던 자바 인 액션 - Raoul-Gabriel Urma, Mario Fusco, Alan Mycroft (2019)
- 함수형 프로그래밍 with 자바 - Ben Weidig (2024)
- 코틀린으로 배우는 함수형 프로그래밍 - 조재용, 우명인 (2019)
- 코틀린 함수형 프로그래밍 - Marco Vermeulen, Paul Chiusano, Runar Bjarnason (2023)
- Functional Programming in C++ - Ivan Čukić (2019)
- 모던 C++로 배우는 함수형 프로그래밍 - Wisnu Anggoro (2018)
- 스칼라로 배우는 함수형 프로그래밍 - Paul Chiusano, Runar Bjarnason (2015)
- Programming in Scala 4/e - Martin Odersky (2021)
- 가장 쉬운 하스켈 책 - Miran Lipovača (2014)
- 하스켈로 배우는 프로그래밍 - Graham Hutton (2009)
- 하스켈로 배우는 함수형 프로그래밍 - Noriyuki Okawa (2015)
- 함수형 반응형 프로그래밍 - Stephen Blackheath, Anthony Jones (2017)
- RxJS 반응형 프로그래밍 - Paul P. Daniels, Luis Atencio (2019)
- Functional C# - Wisnu Anggoro (2019)
- Go로 배우는 함수형 프로그래밍 - Lex Sheehan (2019)
- 처음 배우는 엘릭서 프로그래밍 - Dave Thomas (2022)
- 프로그래밍 얼랭 - Joe Armstrong (2008)
- 인공지능 함수 OCaml 프로그래밍 - John Whitington (2019)
- 그누 이맥스 시작하기 - Debra Cameron, Eric Raymond (2000)
- 프로그래밍 언어의 원리 - 오학주 (2022)
- SNU 4190.310 Programming Languages Lecture Notes - 이광근 (2008)
- Introduction to Programming Languages (ITPL) - 홍재민 (2023)
- 프로그래밍 언어 - archive
- Scala 소개 - archive
- 함수형 프로그래밍 입문 - archive
- 일급 함수 - archive
- Scala 컬렉션 사용하기 - archive
- 패턴 대조 - archive
- 문법 - archive
- 의미 - archive
- 식별자 - archive
- 일차 함수 - archive
- 클로저 - archive
- 람다 대수 - archive
- 재귀 - archive
- 수정 가능한 상자 - archive
- 수정 가능한 변수 - archive
- 소극적 계산 - archive
- 계속 - archive
- 일급 계속 - archive
- 타입 체계 - archive
- 재귀 함수의 타입 - archive
- 대수적 데이터 타입 - archive
- 매개변수에 의한 다형성 - archive
- 서브타입에 의한 다형성 - archive
- 이름 없이 식 표현하기 - archive
- 프로그래밍 언어의 기본 원리 (archive) - 홍재민
- Java 개발자를 위한 Scala 맛보기 - 김대현 (hatemogi)
- FunctionalES - ES6+, 함수형 프로그래밍, 비동기, 동시성 프로그래밍
- 구문론과 의미론 (정적 의미론까지) - 남현욱 (2014)
- 프로그래머를 위한 카테고리 이론 - 문동욱 번역 (2024)
- 프로그래머를 위한 카테고리 이론 스터디 - 박수도 번역 (2021)
- 예제로 배우는 PureScript - 한주영 번역 (2018)
- Mostly Adequate guide to functional programming 번역
- 하스켈 학습 가이드 - learnhaskell
- WikibooksHaskell - 이민석 (codeonwort) 번역 (2023)
- Haskell wiki ko
- Haskell의 펑터와 모나드 프로그래밍 - 변석우, 우균 (2017)
- 모나드 괴담 - 엑스티 (2015)
- 모나드 첫걸음 - eunmin (2019)
- Learn Haskell by building a blog generator 한국어 번역
- 함수형 프로그래밍 HOWTO - Python
- fp-gitbook - kpug (2017)
- 프로그래밍언어론 - 우균의 풀어그림 (2020)
- 프로그래밍언어론 (EOPL) - 최광훈
- Haskell MOOC - 최광훈
- Tezos Blockchain Camp - 프로그래밍 원리 (2019)
- Tezos Blockchain Camp - Ocaml 프로그래밍 (2019)
- 프로그래밍의 원리 (서울대학교 2학년 과목, 이광근) - MOOC (2012), Course
- 프로그래밍언어 (서울대학교 3학년 과목, 이광근) - MOOC (????), Course (2024), dreameye
- 라인 백엔드 개발자의 함수형 프로그래밍 언어 실전 사용기 | 라인개발실록 - 김대현 (hatemogi)
- 함수형 프로그래밍 3대장 경험기: 클로저, 스칼라, 하스켈 | 인프콘2023 - 김대현 (hatemogi)
- 함수형 프로그래밍으로 도전하는 코딩 테스트 시리즈 - 김대현 (hatemogi)
- 스칼라 기초 투어 - 김대현 (hatemogi)
- 순수 함수형 프론트엔드 프로그래밍 언어 Elm 가이드 3시간 - 김대현 (hatemogi)
- liftIO 2022 : 웹 개발의 모순과 Elixir가 특효약인 이유 - 이재철
- 모나드의 모든 것 - 1. The "ideal" Monad - 이읗
- 모나드의 모든 것 - 2. Monad in mathematics - 이읗
- Monad란 무엇인가? - 김동경 (2018)
- 합성, 커링, 모나드에 대해 훑어보는 함수형 프로그래밍 입문 - 저세상개발자
- 카테고리 이론 관련 영상 - CalcoloErgoSum
- 함수형 프로그래밍과 ES6+ - 유인동 (2019)
- Functional Programming Principles in Scala (Scala 2 version) - Martin Odersky
- Functional Program Design in Scala (Scala 2 version) - Martin Odersky
- Programming Reactive Systems (Scala 2 version) - Martin Odersky
- 프로그래밍 교육에서 실습 언어의 선택 - 이광근 (2002)
- 값중심의 프로그래밍 (value-oriented programming) - 이광근 (2002)
- 제대로 디자인된 프로그래밍 언어의 쓰임새 - 이광근 (2011)
- functional language가 뭐죠? - 이광근 (1999)
- 바이너리 분석에 웬 F#? - 차상길 (2020)
- 함수형 프로그래밍 언어에 대한 고찰 - 김부성, 이재호 (2018)
- 함수형 프로그래밍의 설득력 - 박성범 (2022)
- 함수형 프로그래밍이 중요한 이유 - John Hughes (1990)
- 함수형 시작과 아마도 끝, 이 바닥 셀럽분들, 2024년 자료 추천 - lionhairdino
- 클로저(Clojure) 코드는 정말 읽기 어려운가? - 박연오 (2022)
- [책소개] 리스프 입문자를 위한 학습서들 - 박연오 (2013)
- Ocaml로 PS 하기 - sangwoo-joh
- 어떻게 하면 안전하게 함수를 합성할 수 있을까? - 문동욱 (2020)
- 검증하지 말고 파싱하라 - 잇창명 번역 (2022)
- 동적 타입 시스템은 더 개방적인 시스템이 아닙니다 - 서동휘 번역 (2020)
- Functor and variance, Curry's paradox - damhiya
- 진보하는 함수형 언어, Haskell - 김재우 (2002)
- 배커스-나우르 표기법 (Backus-Naur form) - 이종립 (2023)
- Category Theory - mathmemo (2022)
- 모나드와 함수형 아키텍처 - 김성철 (2019)
- 함수적인, 너무나 함수적인 - theworldaswillandidea (2023)
- 함수형 프로그래밍 & 모나드 - 오종택 (2022)
- 함수형 프로그래밍 (1, 2, 3) - UZILOG (2020)
- 하스켈, 왜 이렇게 어려운거야? - murry (2020) - archive
- 하스켈로 배우는 함수형 언어, Scala - 박훈 (1ambda)
- 서재원님 블로그
- 오현석님 블로그
- 우균 교수님 블로그
- 김용균님 블로그
- 코딩 맛집 블로그
- 카카오 기술 블로그
- 방준영님 블로그
- 박준규님 Gist