Existential Type, new blog by Bob Harper (of CMU) on programming languagesexistentialtype.wordpress.com2 points·nprincigalli··0 commentsOpen articleSaveView on HN