Read Robert Harper's blog for everything in the constructivist, type theory state of the art: https://existentialtype.wordpress.com/2018/01/15/popl-2018-tutoria

Read Robert Harper's blog for everything in the constructivist, type theory state of the art: https://existentialtype.wordpress.com/2018/01/15/popl-2018-tutorial/ https://existentialtype.wordpress.com/2018/01/15/popl-2018-t... There's also the OPLSS lectures if you're interested: https://www.cs.uoregon.edu/research/summerschool/summer16/curriculum.php https://www.cs.uoregon.edu/research/summerschool/summer16/cu...