Pinboard (bgporter) https://pinboard.in/u:bgporter/public/ recent bookmarks from bgporter What To Know Before Debating Type Systems 2007-06-30T12:09:16+00:00 http://cdsmith.twu.net/types.html bgporter programming types https://pinboard.in/u:bgporter/b:79c455836318/