Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Publication in BibTex Format

Research Areas
Research Labs
Workshops
Publications
Technical Reports

BibTex in ASCII

@INPROCEEDINGS{bp:483, author = "Brigitte Pientka", title = "A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions", booktitle = "35th ACM Symposium on Principles of Programming Languages (POPL'08),", pages = "371-382", publisher = "ACM Press", month = "January", year = 2008}