Publication

Files

metanotation.pdfDownload
metanotation.texDownload
metanotation.bibDownload
metanotation.styDownload
bcprules.styDownload
quuxgroup.styDownload
sigplanconf.clsDownload
quuxgroup.bstDownload
POPL-Repetition-Kinds-Only.pdfDownload
POPL-Subst-Enclosers-Only.pdfDownload
POPL-Exam-Stats.pdfDownload