Research Areas
Research Labs
Workshops
Publications
Technical Reports
|
BibTex in ASCII
-
@INPROCEEDINGS{bp:483, author = "Brigitte Pientka", title = "A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions", booktitle = "35th ACM Symposium on Principles of Programming Languages (POPL'08),", pages = "371-382", publisher = "ACM Press", month = "January", year = 2008}
|
