NicolasT / papersLinks
A collection of papers found across the web
☆35Updated 10 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 4 months ago
- ☆96Updated 11 years ago
- A book on programming languages, using Haskell☆167Updated 4 years ago
- Ye Olde Computer Science Scrolls!☆105Updated 9 years ago
- Resources for the online Type Theory Study Group☆162Updated 8 years ago
- ☆81Updated 7 years ago
- Collection of various research papers I find interesting☆85Updated 10 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 9 years ago
- Useful resources for the Frege programming language☆31Updated 4 years ago
- History of Programming Languages, Spring 2017☆137Updated 8 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆191Updated 9 years ago
- A collection of resources for learning type theory.☆99Updated 9 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Updated 8 years ago
- A bibliography on Gradual Typing☆256Updated 2 years ago
- Dive into GHC☆82Updated 9 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated this week
- Server for stable, curated Haskell package sets☆109Updated 2 months ago
- Project Management for Hackers☆135Updated 7 years ago
- Useful resources for the Eta programming language☆64Updated 4 years ago
- Cheat Sheets for programming languages and tools☆115Updated 2 months ago
- notes on where to find Haskell tutorials and tips to complete them☆120Updated 7 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 9 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 11 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆281Updated 3 years ago
- A talk on parametricity☆36Updated 2 years ago
- Learn you an Agda (and achieve enlightenment)☆316Updated 7 years ago
- 🐣 A blog engine written and proven in Coq☆183Updated 6 years ago