Rare card
Hindley–Milner type system
- Value
- 50 W
- Attack
- 803
- Defence
- 643
- Players
- 0
A Hindley–Milner (HM) type system is a classical type system for the lambda calculus with parametric polymorphism. It is also known as Damas–Milner or Damas–Hindley–Milner. It was first described by J. Roger Hindley and later rediscovered by Robin Milner.
Get Hindley–Milner type system in your collection
Every Wikilord card is a Wikipedia article. Open packs for free, trade, battle and climb the leaderboard.
Open a free pack