jaredhoberock / hindley_milnerLinks
A C++11 implementation of Hindley-Milner type inference.
☆79Updated 12 years ago
Alternatives and similar repositories for hindley_milner
Users that are interested in hindley_milner are comparing it to the libraries listed below
Sorting:
- C++ parser combinator library☆97Updated 9 years ago
- An imperative and functional programming language☆153Updated last week
- Compile Haskell-like code into C++ template metaprograms☆59Updated 8 years ago
- The Higher-Order Intermediate Representation☆154Updated this week
- Solving the Expression Problem in C++11☆45Updated 12 years ago
- A lightweight conservative garbage collector for C/C++☆122Updated 6 years ago
- C++ template metaprogramming library collection☆127Updated 9 years ago
- Functors, Monads and Free Monads in C++☆18Updated last year
- A compiler from ML to C++ template language☆158Updated 9 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆202Updated 11 months ago
- Implementation of delimited control for C/C++☆27Updated 13 years ago
- Roadmap for implementation of Concepts in the Clang compiler.☆16Updated 6 years ago
- transducers in C++ 14☆40Updated 10 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- A cross-platform implementation of the Immix Garbage Collector☆78Updated 11 years ago
- A compiler for my educational research programming language that supports homogeneous metaprogramming☆20Updated 8 years ago
- Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.☆35Updated 8 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆52Updated 5 years ago
- C++ compile-time Prolog interpreter☆66Updated 11 years ago
- ☆53Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- A compiler for Coq☆26Updated 12 years ago
- Support for Currying and Function Composition in C++☆61Updated 9 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆197Updated 4 years ago
- BSD Licensed Bignum Library☆233Updated last year
- Accepted papers for POPL 2015☆66Updated 9 years ago
- Scheme on SECD☆42Updated 4 years ago