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