BartoszMilewski / PublicationsLinks
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
☆1,278Updated 5 months ago
Alternatives and similar repositories for Publications
Users that are interested in Publications are comparing it to the libraries listed below
Sorting:
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,092Updated 6 months ago
- A List of Foundational Haskell Papers☆873Updated 7 months ago
- The Dao of Functional Programming☆462Updated 2 weeks ago
- Miscellaneous articles. The readme is the table of contents.☆1,267Updated last year
- Resources for learning Category Theory for an enthusiast☆627Updated 2 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆634Updated last year
- Functional Programming Course☆1,032Updated 2 years ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆471Updated last year
- An introduction to programming language theory in Agda☆1,435Updated this week
- An opinionated list of resources for learning Haskell☆911Updated 3 years ago
- Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns☆994Updated last year
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆424Updated 2 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,061Updated 2 months ago
- What I Wish I Knew When Learning Haskell☆2,587Updated 3 years ago
- Learn Haskell, with tiny lessons.☆565Updated 3 years ago
- Code and materials for my book "Functional Design and Architecture"☆517Updated 6 months ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- A standard library for Haskell☆853Updated 10 months ago
- higher-order, no-boilerplate monads☆1,055Updated 3 months ago
- A gently curated list of companies using Haskell in industry☆970Updated 2 months ago
- I'm trying to update the Real World Haskell book☆789Updated last year
- Fork of the original Data61 course to be more Stack friendly☆450Updated 4 years ago
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- Haskell 101 and 102: slides and codelabs☆1,405Updated 2 years ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,058Updated last week
- ☆254Updated last month
- A collection of resources for learning type theory and type theory adjacent fields.☆2,315Updated 2 months ago
- e-book version of Bartosz Milewski's Category Theory for Programmers☆482Updated 6 years ago
- Very low feature GHCi based IDE☆1,160Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated last month