kritzcreek / fby19
Type inference from scratch - Material for my talk at F(by)19
☆63Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for fby19
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A bidirectional type checker☆57Updated 7 years ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Example row-polymorphism implementations☆59Updated last year
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Example language server (LSP) implementation for a toy language☆60Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 months ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Typing Haskell in Haskell☆15Updated 14 years ago
- PureScript CST Parser written in PureScript☆49Updated 8 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- ICFP tutorial☆40Updated 3 years ago
- Documentation for Concur☆66Updated 5 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years ago
- ☆59Updated 3 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Fast and concise extensible effects☆105Updated last year
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- Tiny type-checker with dependent types☆76Updated 10 years ago
- Bidirectional JSON serialization☆40Updated 3 years ago
- ICFP 2020 papers. Crowd-sourced☆92Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Efficient parser combinators for Haskell☆39Updated 7 months ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆44Updated 3 years ago