Skip to content
A List of Foundational Haskell Papers
Branch: master
Clone or download
Latest commit 0790672 May 18, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore add download.js script May 9, 2019
LICENSE Update LICENSE May 17, 2019
README.md Update README.md May 17, 2019
download.js add download.js script May 9, 2019

README.md

A List of Foundational Haskell Papers

A Quick Note about Licensing

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.

History

The Beginning: The Eugenio Moggi Papers

Propositions as Types

Haskell Semantics and Design Spaces

Type Systems

Misc Parametricity

Misc TypeChecking + PLT

Functional pearls

Algebra of programming

You can’t perform that action at this time.