links to POPL'18 talk