nuprl / 10PLLinks
10 papers that all PhD students in programming languages ought to know, for some value of 10
☆905Updated 5 years ago
Alternatives and similar repositories for 10PL
Users that are interested in 10PL are comparing it to the libraries listed below
Sorting:
- Implementations of various type systems in OCaml.☆1,580Updated 9 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,060Updated 2 months ago
- Resources for learning and using recursion schemes.☆1,250Updated last year
- The Hindley Milner Type Inference Algorithm☆372Updated 8 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,315Updated 2 months ago
- Functional Programming Course☆1,032Updated 2 years ago
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- A List of Foundational Haskell Papers☆874Updated 7 months ago
- Miscellaneous articles. The readme is the table of contents.☆1,267Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated 3 weeks ago
- Software Foundations in Idris☆454Updated 6 years ago
- Haskell Research Compiler☆819Updated 2 years ago
- A visual Haskell☆728Updated 3 years ago
- lamdu - towards the next generation IDE☆1,872Updated last month
- Programming Languages Zoo☆1,501Updated last year
- What I Wish I Knew When Learning Haskell☆2,587Updated 3 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Huge list of videos, talks, courses for Haskell programming language.☆1,139Updated 7 years ago
- A functional programming language based on algebraic effect handlers☆876Updated 9 months ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆280Updated 2 years ago
- Blog post previews in need of peer review☆2,198Updated last year
- A Git annex repository of papers☆703Updated 6 years ago
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year
- A modern syntax for the λ-calculus.☆412Updated 8 years ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,388Updated 4 years ago
- 𝛌 Awesome Idris resources☆402Updated 5 years ago
- An introduction to programming language theory in Agda☆1,435Updated this week
- Proving leftpad correct two-dozen different ways☆677Updated 2 months ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,173Updated last year
- Functional programming with fewer indirections☆765Updated 4 years ago