Hindley-Milner Algorithm W type inference engine implementing Robinson first-order syntactic unification and principal polymorphic type reconstruction.
-
Updated
Sep 9, 2026 - Python
#
algorithm-w
Here are 6 public repositories matching this topic...
Hindley-Milner Algorithm W type inference engine implementing Robinson first-order syntactic unification and principal polymorphic type reconstruction.
-
Updated
Sep 9, 2026 - Python
Production-grade genpark-hindley-milner-type-inference-skill skill for AI agents
mcp formal-methods polymorphism hindley-milner type-inference compiler-design unification python-standard-library algorithm-w type-systems agent-skills
-
Updated
Sep 28, 2026 - Python
Hindley-Milner polymorphic type inference engine with Algorithm W unification and occurs check.
python polymorphism type-checking type-system hindley-milner type-inference compiler-design algorithm-w model-context-protocol mcp-server agent-skills
-
Updated
Sep 28, 2026 - Python
Hindley-Milner polymorphic type inference engine with Algorithm W unification and occurs check.
python polymorphism type-checking type-system hindley-milner type-inference compiler-design algorithm-w model-context-protocol mcp-server agent-skills
-
Updated
Sep 28, 2026 - Python
Production-grade genpark-hindley-milner-type-inference-skill skill for AI agents
mcp formal-methods polymorphism hindley-milner type-inference compiler-design unification python-standard-library algorithm-w type-systems agent-skills
-
Updated
Sep 28, 2026 - Python
Add this topic to your repo
To associate your repository with the algorithm-w topic, visit your repo's landing page and select "manage topics."