aistrate / ArticlesLinks
Various interesting articles, in PDF or PS form
☆237Updated 11 years ago
Alternatives and similar repositories for Articles
Users that are interested in Articles are comparing it to the libraries listed below
Sorting:
- A List of Foundational Haskell Papers☆871Updated 6 months ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 7 years ago
- ☆228Updated 4 years ago
- Write You a Scheme☆566Updated 2 years ago
- Software Foundations in Idris☆454Updated 6 years ago
- 𝛌 Awesome Idris resources☆403Updated 5 years ago
- With way too messy gist.github pages this is an attempt to organise my snippets☆403Updated 7 years ago
- The home of the Glamorous Glambda interpreter☆224Updated 2 months ago
- Haskell papers optimized for my e-reader.☆270Updated 8 years ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- Sample code from "Type Driven Development with Idris"☆164Updated 7 years ago
- A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.☆145Updated 8 years ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆192Updated 2 years ago
- A sensible starting Prelude template.☆403Updated 3 weeks ago
- Source material for Algebra-Driven Design☆148Updated last year
- Haskell Programming From First Principles - Follow-up Resources☆495Updated 7 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- A type-safe, high-level SQL library for Haskell☆478Updated last year
- Proposed compiler and language changes for GHC and GHC/Haskell☆697Updated 2 weeks ago
- A fast, flexible, fused effect system for Haskell☆657Updated last month
- Project templates for stack new☆235Updated 5 months ago
- Introduction to parsing with Haskell and Parsec☆504Updated 5 years ago
- Examples to accompany the book "Haskell in Depth"☆262Updated last month
- Miscellaneous articles. The readme is the table of contents.☆1,266Updated last year
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆278Updated 2 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆172Updated 2 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- 📖 source material for Thinking with Types☆492Updated 2 years ago
- Repository for collaborative Haskell documentation☆208Updated 3 years ago