atennapel / bidirectional.js
Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
☆76Updated last month
Related projects: ⓘ
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- Refinement Types for Scripting Languages☆64Updated 5 years ago
- Type Inference Library written in TypeScript☆92Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago
- Dependent type checker using normalisation by evaluation☆251Updated 2 weeks ago
- The Makam Metalanguage☆187Updated last year
- Prototype type inference engine☆191Updated last month
- OCaml extended with modular implicits☆103Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆110Updated 5 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 5 years ago
- ☆55Updated 7 years ago
- Proposal to add tail calls to WebAssembly☆111Updated 2 weeks ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆86Updated 5 years ago
- A pure type system implemented in OCaml☆78Updated 3 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆83Updated 6 years ago
- A prototype programming language for programming with runners☆88Updated 3 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 6 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- 1ML prototype interpreter☆271Updated 4 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆95Updated last year
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- The Art of the Propagator. See also:☆168Updated 5 months ago
- Hindley-Milner type inference using constraints☆48Updated 7 years ago
- Nice parsers in OCaml without the boilerplate☆125Updated 4 months ago