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:104, author = "Brigitte Pientka", title = "Functional Programming with Higher-order Abstract Syntax and Explicit Substitutions", booktitle = "Programming Languages meets Program Verification (PLPV), Seattle, USA", pages = "87-102", series = "Electronic Notes in Theoretical Computer Science (ENTCS)", publisher = "Elsevier", year = 2006}