maeln / LambdaHindleyMilnerLinks
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
☆11Updated 6 years ago
Alternatives and similar repositories for LambdaHindleyMilner
Users that are interested in LambdaHindleyMilner are comparing it to the libraries listed below
Sorting:
- Java monadic parser combinator framework for constructing LL(1) parsers☆119Updated 3 weeks ago
- Extensible stream pipelines with object algebras.☆26Updated 10 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- Automatic derivation of functional-java typeclasse instances and optics☆21Updated 5 years ago
- Higher kinded types for Java☆117Updated 3 years ago
- My experimental programming language using Truffle☆111Updated 5 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated last month
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆128Updated 2 years ago
- Write small programs (eg -algorithms) in a functional way.☆129Updated 4 years ago
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- Frege REPL☆78Updated 6 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 9 years ago
- a book about declarative language definition☆23Updated 9 years ago
- The fastest way to build a language☆43Updated 3 years ago
- A Scala implementation of parsing with derivatives☆198Updated 5 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 5 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Updated 6 years ago
- Type checking and logical inference for JetBrains MPS☆33Updated 2 months ago
- Modern IDE plus custom programming languages with interpreters and compilers☆66Updated 7 years ago
- A talk on using recursion schemes in FP.☆217Updated last year
- Library-based Language Extensibility☆39Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- formalization of the Dependent Object Types (DOT) calculus☆160Updated 8 years ago
- Code from the book "Types and Programming Languages" in Scala☆186Updated 3 years ago