logicshan / pj-lester-book
☆16Updated 10 years ago
Alternatives and similar repositories for pj-lester-book:
Users that are interested in pj-lester-book are comparing it to the libraries listed below
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 7 months ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- The Prettiest Printer☆35Updated last year
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- A monadic approach to static analysis following the methodology of AAM☆18Updated 9 years ago
- ☆28Updated 6 years ago
- ☆40Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Compositional type checking for Haskell☆37Updated 13 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 4 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Updated 9 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- A prototypical dependently typed languages with sized types and variances☆107Updated 2 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- Example row-polymorphism implementations☆61Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 3 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆55Updated 3 years ago
- Generic functions for single-sorted first-order structural unification☆42Updated 3 weeks ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Session Types with Priority in Linear Haskell☆26Updated 9 months ago