https://github.com/maeln/lambdahindleymilner

Java implementation of Hindley Milner type inference algorithm for lambda calculus.
https://github.com/maeln/lambdahindleymilner

hindley-milner imt-atlantique inference-algorithm lambda-calculus

Last synced: 8 months ago
JSON representation

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

• Host: GitHub
• URL: https://github.com/maeln/lambdahindleymilner
• Owner: maeln
• License: gpl-3.0
• Created: 2016-10-06T14:31:51.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2019-05-06T08:12:59.000Z (almost 7 years ago)
• Last Synced: 2025-04-12T16:12:50.662Z (11 months ago)
• Topics: hindley-milner, imt-atlantique, inference-algorithm, lambda-calculus
• Language: Java
• Homepage:
• Size: 71.3 KB
• Stars: 11
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Hindley - Milner in Java

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

## Compile

    mvn clean compile assembly:single

## Note:

Most of the implementation was done by [Valentin Cocaud](https://github.com/EmrysMyrddin).