Haskell:WiderTheory

lastmod 2020-10-24created 2020-10-242 edits

하스켈 여러 이론들 (Wider Theory)

표기 의미론 (Denotational semantics)

Equational reasoning

Program derivation

범주론

The Curry-Howard isomorphism

Fix and recursion

See also

• Haskell
• Haskell:Tutorials