A List of Foundational Haskell Papers

Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|

Lambda | 831 | 5 | 8 | a month ago | 32 | March 14, 2022 | 16 | mit | Java | |

Functional patterns for Java | ||||||||||

Haskell Resources | 824 | a year ago | other | JavaScript | ||||||

A List of Foundational Haskell Papers | ||||||||||

Fp Core.rs | 644 | 3 years ago | 25 | mit | Rust | |||||

A library for functional programming in Rust | ||||||||||

Cpp_functional_programming | 350 | 3 years ago | 1 | |||||||

List of materials about functional programming in C++ | ||||||||||

Ruby Possibly | 146 | 112 | 7 years ago | 6 | July 24, 2016 | 6 | mit | Ruby | ||

A maybe monad | ||||||||||

Cpp14monadworkshop | 99 | 8 years ago | C++ | |||||||

Material for a workshop on monads with C++14 | ||||||||||

Lambda | 29 | 1 | 3 | a year ago | 62 | January 26, 2022 | mit | JavaScript | ||

Monad Egg | 28 | 3 years ago | other | Scheme | ||||||

Monads for scheme | ||||||||||

Magic In Ten Mins Cpp | 24 | 2 years ago | cc-by-4.0 | |||||||

Relative Monads | 22 | 4 years ago | 2 | mit | Agda | |||||

Relative Monad Library for Agda |

Alternatives To Haskell ResourcesSelect To Compare

Alternative Project Comparisons

Readme

This repo is a collection of *links* to various papers, and as such, may go out of date intermittently as resources shuffle around the web. It would be greatly appreciated if people raise issues when these pdf's have dead links, as it helps us all maintain the most up to date set of resources. Additionally, you may find that the "set of links" approach is tedious. This is done to avoid any sort of licensing concerns. If anyone has a better idea of the implications (especially licensing) of hosting the actual papers, the end goal would ideally be to serve as a kind of library. Feel free to find me to discuss.

Thanks, Emily.

- Notions of Computations over Monads
- Computational Lambda Calculus and Monads
- Monads for functional programming
- The essence of functional programming

- Semantics
- How to make ad hoc polymorphism less ad hoc
- Type Classes
- An Exploration of the Design space of Type Classes
- A Generic Deriving Mechanism for Haskell
- True Sums of Products
- Functional Dependencies
- Rank-n Types
- Typing Haskell in Haskell
- Type Families
- Type Families pt. 2
- GADTs
- First Class Modules in Haskell
- Kind Promotion
- Kleisli Arrows of Outrageous Fortune

- Let-floating
- Parallel Garbage Collection
- Tackling the Awkward Squad
- Lazy State Threads
- General State
- The Spineless Tagless G-machine
- Making a Fast Curry - (STG Sequel)
- Stream Fusion. From Lists to Streams to Nothing at All

- Lambda Calculus with Types
- The Call by Need Lambda Calculus
- The Lazy Lambda Calculus
- Hindley-Milner Systems
- Generalized Hindley-Milner Systems
- System F with type equality coercion
- System FC with Kind Equality

- Theorems for Free
- Free theorems for TyCons
- Parametric Polymorphism
- Type Derivatives and Typed Holes
- Suggesting Valid Hole Fits

- Parametric HOAS
- Tutorial on Bidirectional Type Inference
- Tutorial Implementation of Dependent Types
- Pfenning's Notes on Bidirectional Type Inference
- EdK's
`bound`

Library Comparisons - Bidirectional Typechecking for Higher Rank Polymorphism
- Tutorial Implementation of Hindley-Milner
- De Bruijn Indices
- The Stitch Type Checker
- Boxes go Bananas

- The countdown problem
- A program to solve Sudoku
- Calculating correct compilers
- Data types a la carte
- Trees that grow
- I am not a Number, I am a Free Variable!
- Notions of Computation as Monoids - Exequiel Rivas, Mauro Jaskelioff

Popular Lambda Functions Projects

Popular Monad Projects

Popular Cloud Computing Categories

Related Searches

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Javascript

Types

Haskell

Lambda

Monad

Calculus

Polymorphism