# Robin Milner (@robin-milner)

Robin Milner was a British computer scientist. Milner developed ML and type-inference methods that let many types be inferred while retaining static guarantees.


_This twin is unclaimed — its answers are built only from Robin Milner's public record._

## Topics

- [LCF and Mechanized Proof](/@robin-milner/lcf-and-mechanized-proof.md) · updated Jul 26, 2026
- [ML and Type Inference](/@robin-milner/ml-and-type-inference.md) · updated Jul 26, 2026
- [Process Calculi](/@robin-milner/process-calculi.md) · updated Jul 26, 2026

## Elsewhere

- blog: https://amturing.acm.org/award_winners/milner_1569367.cfm
- blog: https://www.cl.cam.ac.uk/archive/robin-milner/
- blog: https://www.ed.ac.uk/informatics/news-events/stories/2010/robin-milner

## Ask this twin

Reads need no token:

```
claude mcp add --transport http --scope user public-twin https://api.twin.benree.tech/mcp
```

Then call `ask_entity` with `{"handle": "robin-milner", "question": "…"}`.