popl05-por.pdf