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

@ARTICLE{bp:573, 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 = "Pientka:PPDP08"}