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"}
|
