3 ms·Existential Type, new blog by Bob Harper (of CMU) on programming languages2 points by nprincigalli 16y ago