A list of PL-related Summer Schools in 2015gist.github.com1 point·letrec··0 commentsOpen articleSaveView on HN