llelf / icfp2019-papersLinks
ICFP 2019 preprints/papers
☆44Updated 6 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:
- being a thing I build on a Saturday☆28Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆124Updated last year
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆75Updated 3 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Literature review of GHC's Core language, System FC☆67Updated 7 years ago
- 🖼️ the compiling to closed categories compiler