Haskell:WiderTheory 하스켈 여러 이론들 (Wider Theory) 표기 의미론 (Denotational semantics) Equational reasoning Program derivation 범주론 The Curry-Howard isomorphism Fix and recursion See also Haskell Haskell:Tutorials