NicolasT / papers
A collection of papers found across the web
☆35Updated 9 years ago
Related projects: ⓘ
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆61Updated 4 years ago
- Useful resources for the Frege programming language☆28Updated 3 years ago
- Collection of various research papers I find interesting☆86Updated 8 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- ☆61Updated this week
- A tutorial to the Idris Programming Language.☆95Updated 8 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 10 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- The Definition of Standard ML (1990)☆122Updated 9 years ago
- Useful resources for the Eta programming language☆61Updated 3 years ago
- An implementation of the Raft consensus protocol☆122Updated last year
- ☆95Updated 9 years ago
- Strange Loop 2014 archives☆188Updated 9 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆76Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 10 years ago
- Core components for the Scribble Java tools☆55Updated 3 years ago
- History of Programming Languages, Spring 2017☆127Updated 6 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆94Updated last month
- Materials and accompanying references for all things pwlconf related☆58Updated 4 years ago
- Ye Olde Computer Science Scrolls!☆102Updated 7 years ago
- Total functional programming (ESFP) literature☆187Updated 5 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 7 years ago
- 99 Problems in OCaml☆23Updated 8 years ago
- ☆79Updated 6 years ago
- ☆63Updated 5 years ago
- Totally functional programming literature☆59Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- A book on programming languages, using Haskell☆165Updated 3 years ago
- An experimental native Haskell graph database☆59Updated 5 years ago