NicolasT / papersLinks
A collection of papers found across the web
☆35Updated 9 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 5 years ago
- Useful resources for the Frege programming language☆30Updated 3 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 11 years ago
- Collection of various research papers I find interesting☆84Updated 9 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- ☆64Updated 8 years ago
- ☆79Updated 7 years ago
- Useful resources for the Eta programming language☆62Updated 3 years ago
- Distributed persistent programming language with secure information flow types☆29Updated 5 months ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago
- The Definition of Standard ML (1990)☆123Updated 10 years ago
- A tutorial to the Idris Programming Language.☆95Updated 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 7 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- Total functional programming (ESFP) literature☆187Updated 6 years ago
- A talk on parametricity☆36Updated 2 years ago
- Project Management for Hackers☆135Updated 6 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆114Updated 9 years ago
- ☆73Updated 11 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- Materials and accompanying references for all things pwlconf related☆59Updated 5 years ago
- ☆63Updated 6 years ago
- Totally functional programming literature☆60Updated 6 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A description of Functional Programming projects☆21Updated 8 years ago
- Orc programming language implementation☆44Updated 3 years ago
- For Github Data Challenge 2014☆50Updated 10 years ago