Tony Finch's link log

• 2014-08-11: Safely composable type-specific programming languages. (long) (short) (atom) (wayback machine)