(.)§1.4(:)§1.8 §1.8(::)§1.8 §1.1- Ackermann's function Ackermann 函數 §2.13
- Boolean 布林值 §1.6
- Cartesian product 笛卡兒積 §1.6
- Church-Rosser Theorem §1.1
- Fibonacci number 費氏數 §2.11
- Horner法則 Horner's rule §5.3
- LISP §1.11
[]§1.8($)§1.4- abstraction 抽象化 §0.3
- accumulating parameters 累積參數 §5.6
- banana-split 香蕉船定理 §6.2
- binary search tree 二元搜尋樹 §3.1
- calculational logic 演算邏輯 §0.7
- circular program 循環程式 §5.5
- codata 餘資料 §5.3 §2.9
- coinduction 餘歸納 §5.3 §2.9
- combinator 組件 §6.1 §1.8
- concurrency 共時 §1.1
- currying §1.6 §1.3
- uncurrying §1.6
- dynamic programming 動態規劃 §2.11
- evaluation 求值 §1.1
- extensional equality 外延相等 §1.4
- factorial 階層 §2.3
- first-class citizen 一級公民 §1.3
- fixed point 定點 §4.1
- fold 摺 §6.0
- fold-unfold transformation 展開-收回轉換 §5.1
- function composition 函數合成 §1.4
- function 函數
- greatest common divisor 最大公因數 §2.12
- guard 守衛 §1.2
- higher-order function 高階函數 §1.3
- identity function 單位函數 恆等函數 §1.4
- induction 歸納 §2.0
- isomorphism 同構 §1.6
- list homomorphism 串列同構 §6.3
- list 串列 §1.8
- logic programming 邏輯編程 §1.1
- loop invariant 迴圈恆式 §5.6
map-fusionmap融合定理 §2.4- maximum segment sum 最大區段和 §7.1
- merge sort 合併排序 §2.12
- bottom-up 由下至上 §1.9
- monad laws 單子律 §8.2
- monad 單子 §8.2 §8.2 §8.0
- monoid 幺半群 §1.4
- natural number 自然數 §2.1
- normal form 範式 §1.1
- weak head 弱首範式 §1.7
- pair 序對 §1.6
- partial order 偏序 §2.9
- partially ordered set 偏序集合 §2.9
- partition 劃分 §2.10
- pattern matching 樣式配對 §1.6 §1.1
- polymorphism 多型 §1.3
- poset 偏序集合 §2.9
- predicate 述語 §2.1 §1.8
- preorder 前序 §2.9
- program calculation 程式演算 §5.0 §0.6
- program derivation 程式推導 §5.0 §0.6
- quickselect 快速選擇 §2.15
- quicksort 快速排序 §2.15 §2.12
- recursion 遞迴 §2.0
- red-black tree 紅黑樹 §3.2
- redex 歸約點 §1.1
- reduction 歸約 §1.1
- run-length encoding 遊程編碼 §5.1
- scan 掃描 §6.2
- semantics 語意 §4.0 §0.2
- side effect 副作用 §8.0
- syntax 語法 §0.2
- tail call 尾呼叫 §5.6
- tail recursion 尾遞迴 §6.3 §5.6
- total function 全函數 §2.0
- tupling 組對 §5.5
- well-founded ordering 良基序 §2.12
- wholemeal programming 全麥編程 §1.9