2 ms·Finite functional programming via graded effects and relevance types [video]1 points by surprisetalk 8mo ago