The Seven Virtues of Simple Type Theory [pdf]imps.mcmaster.ca4 points·vilhelm_s··0 commentsOpen articleSaveView on HN