Hacker News new | ask | show | jobs
by invisiblerobot 1367 days ago
polymorphic typed lambda calculus.

it's the theoretical basis for ML and Haskell.

https://en.wikipedia.org/wiki/System_F