Skip to content
STIMSMITH

Hindley-Milner Type Inference

Technique
First seen 8/4/2026
Last seen 8/4/2026
Evidence 9 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

4 connections
ChiGen ← uses 100% 5e
ChiGen applies the Hindley-Milner type inference algorithm to infer the types of variables in generated Verilog designs.
A General Framework for Hindley/Milner Type Systems with Constraints ← introduces 90% 2e
The paper by Sulzmann presents the general framework for Hindley-Milner type systems that ChiGen adopts.
Constraint Generation and Unification uses → 100% 1e
The Hindley-Milner type inference process uses constraint generation and unification as its two main stages.
Abstract Syntax Tree uses → 95% 1e
The Hindley-Milner type inference constraint generation follows a visitor-like traversal of the abstract syntax tree.