jaredhoberock / hindley_milner
A C++11 implementation of Hindley-Milner type inference.
☆78Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for hindley_milner
- C++ parser combinator library☆97Updated 9 years ago
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- Support for Currying and Function Composition in C++☆60Updated 9 years ago
- An imperative and functional programming language☆152Updated this week
- The Higher-Order Intermediate Representation☆151Updated this week
- Functors, Monads and Free Monads in C++☆18Updated last year
- Implementation of delimited control for C/C++☆24Updated 12 years ago
- transducers in C++ 14☆40Updated 10 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆53Updated 4 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆88Updated 2 years ago
- BSD Licensed Bignum Library☆232Updated 8 months ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- C++ template metaprogramming library collection☆126Updated 8 years ago
- Implementation of Pratt parser in C++11☆27Updated 9 years ago
- An almost-pure C++ library for writing functional code.☆37Updated 10 years ago
- Solving the Expression Problem in C++11☆45Updated 12 years ago
- Continuation Passing C☆112Updated 5 years ago
- C++ compile-time Prolog interpreter☆66Updated 10 years ago
- Library for generating ABI-compliant LLVM IR☆59Updated 4 years ago
- Constraing solving using functional methods in C++ and Haskell.☆20Updated 9 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- STM (Software Transactional Memory) implementation in C, based on memory-mapping.☆59Updated 14 years ago
- A lightweight conservative garbage collector for C/C++☆118Updated 6 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆188Updated 4 years ago
- Roadmap for implementation of Concepts in the Clang compiler.☆16Updated 6 years ago
- An implementation of Baker's Treadmill Garbage Collector.☆20Updated 11 years ago
- A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program☆24Updated 2 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 7 months ago