CompSciCabal / reading-materialLinks
Reading schedule and our library of pdfs
☆24Updated 6 years ago
Alternatives and similar repositories for reading-material
Users that are interested in reading-material are comparing it to the libraries listed below
Sorting:
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Kanren with databases☆43Updated 10 months ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Type theory in type theory☆16Updated 13 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- The propagator system☆41Updated 9 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆32Updated 2 months ago
- ☆44Updated last year
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 6 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- Anders: Cubical Type Checker☆24Updated last year
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- ☆79Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- Distributed Protocol Combinators☆13Updated 4 years ago
- ☆60Updated 5 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- ☆43Updated 3 years ago