llelf / icfp2019-papersLinks
ICFP 2019 preprints/papers
☆44Updated 5 years ago
Alternatives and similar repositories for icfp2019-papers
Users that are interested in icfp2019-papers are comparing it to the libraries listed below
Sorting:
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Simple reflection of expressions☆33Updated 4 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Session Types with Priority in Linear Haskell☆27Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Formalizing nbe in agda☆31Updated 12 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Hedgehog will eat your typeclass bugs☆56Updated 3 weeks ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Type-safe time units in Haskell☆49Updated 5 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Where my everyday research happens☆53Updated 2 weeks ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Recursion schemes for Idris☆65Updated 6 years ago
- enumerative property-based testing for Haskell☆53Updated 4 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 9 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago