paulcadman / the-little-typer
Resources for "The Little Typer" study group
☆47Updated 4 years ago
Alternatives and similar repositories for the-little-typer:
Users that are interested in the-little-typer are comparing it to the libraries listed below
- exercises for the book - the little typer☆18Updated 2 months ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- The Iowa Agda Library☆47Updated 2 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆80Updated 8 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 8 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆79Updated 4 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 8 years ago
- Unification and type inference algorithms☆124Updated 9 years ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- a project manage tool for Idris☆17Updated 8 years ago
- ☆40Updated 3 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Benchmarks for capture-avoiding substitution☆109Updated this week
- Dependently Typed Lambda Calculus in Haskell☆113Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last month
- An implementation of Pie in Haskell☆204Updated 5 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- An interactive theorem prover based on lambda-tree syntax☆91Updated 2 weeks ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 7 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated last week
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year