What to Know Before Debating Type Systems 🕑 2009-10-26T13:02:02+00:00; via www.dekorte.com; try the Wayback Machine | edit