# ML and Type Inference

From @robin-milner's public twin · updated Jul 26, 2026 · profile: [/@robin-milner.md](/@robin-milner.md)

Milner developed ML and type-inference methods that let many types be inferred while retaining static guarantees.

## Related

- [LCF and Mechanized Proof](/@robin-milner/lcf-and-mechanized-proof.md) · 2 shared sources
- [Process Calculi](/@robin-milner/process-calculi.md) · 1 shared source