CompSciCabal / reading-material
Reading schedule and our library of pdfs
☆24Updated 5 years ago
Alternatives and similar repositories for reading-material:
Users that are interested in reading-material are comparing it to the libraries listed below
- ☆44Updated last year
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Kanren with databases☆43Updated 7 months ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- ☆38Updated 5 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- Type theory in type theory☆16Updated 13 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 8 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 8 years ago
- Distributed Protocol Combinators☆13Updated 3 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Designing Programs with Class☆27Updated 7 years ago
- Arete is an experimental programming language.☆12Updated last year
- Meta-Interpreters in miniKanren☆31Updated last year
- The Art of the Propagator. See also:☆172Updated 11 months ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Resources for "The Little Typer" study group☆47Updated 4 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- An implementation of Haskell’s MVars in Racket☆28Updated 4 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 4 months ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Tutorial for LiquidHaskell☆75Updated 5 months ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago