Tony Finch's link log

• 2014-12-25: Uncertain: a first-order type for uncertain data. (long) (short) (atom) (wayback machine)