The seven virtues of simple type theory (2008) [pdf]

2 points | by perihelions 13 hours ago