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:572, author = "Brigitte Pientka", title = "A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions", booktitle = "35th Annual {ACM} SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08)", pages = "371--382", publisher = "ACM", year = 2008, note = "Pientka:POPL08"}