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
Technical Reports

BibTex in ASCII

@INPROCEEDINGS{bp:484, author = "Brigitte Pientka and Joshua Dunfield", title = "Programming with proofs and explicit contexts", booktitle = "ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08)", pages = "163-173", publisher = "ACM Press", month = "July", year = 2008, note = " "}