├── Arrow ├── arrows-afp.pdf ├── arrows-and-idioms.pdf ├── arrows-fop.pdf ├── arrows-jfp.pdf ├── arrows-notation.pdf ├── arrows-robots-FRP.pdf └── arrows.pdf ├── Data-Structures └── fold.pdf ├── FP ├── Higher-order.Polymorphic.Reusable.ps.gz ├── Next_700.pdf ├── On-Understanding-Types.pdf ├── Programming with abstract data types.pdf ├── Programming-Paradigms-for-Dummies.pdf ├── Purely_Functional_Data_Structures.pdf └── Why-FP-Matters.pdf ├── Miscs ├── Erik-Meijer │ ├── Haskell-as-Better-Java.pdf │ └── function-programming-with-bananas.pdf ├── Philip-Wadler │ ├── featherweight_java.pdf │ ├── how-and-why.pdf │ ├── oopsla.pdf │ └── prettier.pdf ├── Richard-Bird │ ├── bird-FP-perals.pdf │ └── sudoku.pdf ├── Simon-Peyton-Jones │ ├── DebugTraces.pdf │ ├── Object-Oriented-Style-Overloading-for-Haskell.pdf │ ├── Tackling-the-Awkward-Squad.pdf │ ├── first_class_modules.pdf │ ├── imperative.pdf │ ├── state-lasc.ps │ └── stm-invariants.pdf ├── Warp SpeedHaskell-w.jones.pdf ├── deriving_generic_functions_by_example-26_oct_2007.pdf ├── design-and-impl-xml-parser.pdf ├── haskell-xml-processing-rdf.pdf ├── icfp10-haskell-reagent.pdf ├── p92-marlow.pdf ├── visitor.pdf └── why-its-nice-to-be-quoted.pdf ├── Monad ├── Applicative-Programming-with-Effects.pdf ├── Monad-Transformer-and-Modular-Interpreters.pdf ├── Monadic-Parser-Combinators.pdf ├── Monads-for-Functional-Programming.pdf ├── combining-monads.ps ├── comprehense-monads.ps ├── constraints.pdf ├── essence.hs ├── essence.ps └── others ├── Parallelism-Concurrency ├── Towards-Haskell-in-the-Cloud.pdf ├── haskell-for-the-cloud.pdf └── parallel-tutorial.pdf ├── README.md ├── Typeclasses ├── FP-with-overloading-n-high-order-polyphorsim.pdf ├── Parametric-type-classes.ps.gz ├── Typeclassopedia.pdf ├── class.pdf ├── class.ps ├── haskell-typeclass.pdf ├── scrap-your-boilerplate.pdf ├── type-class-explorationi.pdf └── type-class-in-haskell.ps ├── Types ├── A Generic Deriving Mechanism for Haskell.pdf ├── A-theory-of-qualified-types.pdf ├── Complete-and-Decidable-Type-Inference-for-GADT.pdf ├── FP-with-Overloading-and-Higher-Order-Polymorphism.pdf ├── From-Hindley-Milner-Types-to-First-Class.pdf ├── Functional-Dependency.pdf ├── Open Data Types and Open Functions.pdf ├── OpenDatatypes.pdf ├── Practical-type-inference.pdf └── polymorphic-type-inference-ADT.pdf ├── bundled-functional-pearls.pdf ├── haskell-history.pdf └── knuth_big_omicron.pdf /Arrow/arrows-afp.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Arrow/arrows-afp.pdf -------------------------------------------------------------------------------- /Arrow/arrows-and-idioms.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Arrow/arrows-and-idioms.pdf -------------------------------------------------------------------------------- /Arrow/arrows-fop.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Arrow/arrows-fop.pdf -------------------------------------------------------------------------------- /Arrow/arrows-jfp.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Arrow/arrows-jfp.pdf -------------------------------------------------------------------------------- /Arrow/arrows-notation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Arrow/arrows-notation.pdf -------------------------------------------------------------------------------- /Arrow/arrows-robots-FRP.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Arrow/arrows-robots-FRP.pdf -------------------------------------------------------------------------------- /Arrow/arrows.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Arrow/arrows.pdf -------------------------------------------------------------------------------- /Data-Structures/fold.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Data-Structures/fold.pdf -------------------------------------------------------------------------------- /FP/Higher-order.Polymorphic.Reusable.ps.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/FP/Higher-order.Polymorphic.Reusable.ps.gz -------------------------------------------------------------------------------- /FP/Next_700.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/FP/Next_700.pdf -------------------------------------------------------------------------------- /FP/On-Understanding-Types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/FP/On-Understanding-Types.pdf -------------------------------------------------------------------------------- /FP/Programming with abstract data types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/FP/Programming with abstract data types.pdf -------------------------------------------------------------------------------- /FP/Programming-Paradigms-for-Dummies.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/FP/Programming-Paradigms-for-Dummies.pdf -------------------------------------------------------------------------------- /FP/Purely_Functional_Data_Structures.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/FP/Purely_Functional_Data_Structures.pdf -------------------------------------------------------------------------------- /FP/Why-FP-Matters.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/FP/Why-FP-Matters.pdf -------------------------------------------------------------------------------- /Miscs/Erik-Meijer/Haskell-as-Better-Java.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Erik-Meijer/Haskell-as-Better-Java.pdf -------------------------------------------------------------------------------- /Miscs/Erik-Meijer/function-programming-with-bananas.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Erik-Meijer/function-programming-with-bananas.pdf -------------------------------------------------------------------------------- /Miscs/Philip-Wadler/featherweight_java.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Philip-Wadler/featherweight_java.pdf -------------------------------------------------------------------------------- /Miscs/Philip-Wadler/how-and-why.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Philip-Wadler/how-and-why.pdf -------------------------------------------------------------------------------- /Miscs/Philip-Wadler/oopsla.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Philip-Wadler/oopsla.pdf -------------------------------------------------------------------------------- /Miscs/Philip-Wadler/prettier.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Philip-Wadler/prettier.pdf -------------------------------------------------------------------------------- /Miscs/Richard-Bird/bird-FP-perals.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Richard-Bird/bird-FP-perals.pdf -------------------------------------------------------------------------------- /Miscs/Richard-Bird/sudoku.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Richard-Bird/sudoku.pdf -------------------------------------------------------------------------------- /Miscs/Simon-Peyton-Jones/DebugTraces.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Simon-Peyton-Jones/DebugTraces.pdf -------------------------------------------------------------------------------- /Miscs/Simon-Peyton-Jones/Object-Oriented-Style-Overloading-for-Haskell.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Simon-Peyton-Jones/Object-Oriented-Style-Overloading-for-Haskell.pdf -------------------------------------------------------------------------------- /Miscs/Simon-Peyton-Jones/Tackling-the-Awkward-Squad.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Simon-Peyton-Jones/Tackling-the-Awkward-Squad.pdf -------------------------------------------------------------------------------- /Miscs/Simon-Peyton-Jones/first_class_modules.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Simon-Peyton-Jones/first_class_modules.pdf -------------------------------------------------------------------------------- /Miscs/Simon-Peyton-Jones/imperative.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Simon-Peyton-Jones/imperative.pdf -------------------------------------------------------------------------------- /Miscs/Simon-Peyton-Jones/state-lasc.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Simon-Peyton-Jones/state-lasc.ps -------------------------------------------------------------------------------- /Miscs/Simon-Peyton-Jones/stm-invariants.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Simon-Peyton-Jones/stm-invariants.pdf -------------------------------------------------------------------------------- /Miscs/Warp SpeedHaskell-w.jones.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/Warp SpeedHaskell-w.jones.pdf -------------------------------------------------------------------------------- /Miscs/deriving_generic_functions_by_example-26_oct_2007.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/deriving_generic_functions_by_example-26_oct_2007.pdf -------------------------------------------------------------------------------- /Miscs/design-and-impl-xml-parser.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/design-and-impl-xml-parser.pdf -------------------------------------------------------------------------------- /Miscs/haskell-xml-processing-rdf.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/haskell-xml-processing-rdf.pdf -------------------------------------------------------------------------------- /Miscs/icfp10-haskell-reagent.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/icfp10-haskell-reagent.pdf -------------------------------------------------------------------------------- /Miscs/p92-marlow.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/p92-marlow.pdf -------------------------------------------------------------------------------- /Miscs/visitor.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/visitor.pdf -------------------------------------------------------------------------------- /Miscs/why-its-nice-to-be-quoted.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Miscs/why-its-nice-to-be-quoted.pdf -------------------------------------------------------------------------------- /Monad/Applicative-Programming-with-Effects.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/Applicative-Programming-with-Effects.pdf -------------------------------------------------------------------------------- /Monad/Monad-Transformer-and-Modular-Interpreters.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/Monad-Transformer-and-Modular-Interpreters.pdf -------------------------------------------------------------------------------- /Monad/Monadic-Parser-Combinators.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/Monadic-Parser-Combinators.pdf -------------------------------------------------------------------------------- /Monad/Monads-for-Functional-Programming.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/Monads-for-Functional-Programming.pdf -------------------------------------------------------------------------------- /Monad/combining-monads.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/combining-monads.ps -------------------------------------------------------------------------------- /Monad/comprehense-monads.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/comprehense-monads.ps -------------------------------------------------------------------------------- /Monad/constraints.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/constraints.pdf -------------------------------------------------------------------------------- /Monad/essence.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/essence.hs -------------------------------------------------------------------------------- /Monad/essence.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/essence.ps -------------------------------------------------------------------------------- /Monad/others: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Monad/others -------------------------------------------------------------------------------- /Parallelism-Concurrency/Towards-Haskell-in-the-Cloud.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Parallelism-Concurrency/Towards-Haskell-in-the-Cloud.pdf -------------------------------------------------------------------------------- /Parallelism-Concurrency/haskell-for-the-cloud.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Parallelism-Concurrency/haskell-for-the-cloud.pdf -------------------------------------------------------------------------------- /Parallelism-Concurrency/parallel-tutorial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Parallelism-Concurrency/parallel-tutorial.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/README.md -------------------------------------------------------------------------------- /Typeclasses/FP-with-overloading-n-high-order-polyphorsim.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/FP-with-overloading-n-high-order-polyphorsim.pdf -------------------------------------------------------------------------------- /Typeclasses/Parametric-type-classes.ps.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/Parametric-type-classes.ps.gz -------------------------------------------------------------------------------- /Typeclasses/Typeclassopedia.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/Typeclassopedia.pdf -------------------------------------------------------------------------------- /Typeclasses/class.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/class.pdf -------------------------------------------------------------------------------- /Typeclasses/class.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/class.ps -------------------------------------------------------------------------------- /Typeclasses/haskell-typeclass.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/haskell-typeclass.pdf -------------------------------------------------------------------------------- /Typeclasses/scrap-your-boilerplate.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/scrap-your-boilerplate.pdf -------------------------------------------------------------------------------- /Typeclasses/type-class-explorationi.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/type-class-explorationi.pdf -------------------------------------------------------------------------------- /Typeclasses/type-class-in-haskell.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Typeclasses/type-class-in-haskell.ps -------------------------------------------------------------------------------- /Types/A Generic Deriving Mechanism for Haskell.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/A Generic Deriving Mechanism for Haskell.pdf -------------------------------------------------------------------------------- /Types/A-theory-of-qualified-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/A-theory-of-qualified-types.pdf -------------------------------------------------------------------------------- /Types/Complete-and-Decidable-Type-Inference-for-GADT.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/Complete-and-Decidable-Type-Inference-for-GADT.pdf -------------------------------------------------------------------------------- /Types/FP-with-Overloading-and-Higher-Order-Polymorphism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/FP-with-Overloading-and-Higher-Order-Polymorphism.pdf -------------------------------------------------------------------------------- /Types/From-Hindley-Milner-Types-to-First-Class.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/From-Hindley-Milner-Types-to-First-Class.pdf -------------------------------------------------------------------------------- /Types/Functional-Dependency.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/Functional-Dependency.pdf -------------------------------------------------------------------------------- /Types/Open Data Types and Open Functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/Open Data Types and Open Functions.pdf -------------------------------------------------------------------------------- /Types/OpenDatatypes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/OpenDatatypes.pdf -------------------------------------------------------------------------------- /Types/Practical-type-inference.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/Practical-type-inference.pdf -------------------------------------------------------------------------------- /Types/polymorphic-type-inference-ADT.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/Types/polymorphic-type-inference-ADT.pdf -------------------------------------------------------------------------------- /bundled-functional-pearls.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/bundled-functional-pearls.pdf -------------------------------------------------------------------------------- /haskell-history.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/haskell-history.pdf -------------------------------------------------------------------------------- /knuth_big_omicron.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/HaskellCNOrg/haper/HEAD/knuth_big_omicron.pdf --------------------------------------------------------------------------------