fixed a reference
POPL 15 paper reference added
Merge pull request #11 from anhaas/gh-pages

POPL 15 paper added