Why type systems are interesting 🕑 2004-08-02T18:12:42+00:00; via keithdevens.com; try the Wayback Machine | edit