Research Areas
Research Labs
Workshops
Publications
Technical Reports

|
BibTex in ASCII
-
@ARTICLE{bp:341, author = "Brigitte Pientka", title = "Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions", pages = "41--60", journal = "Electronic Notes Theoritical Computer Science", url = {http://dx.doi.org/10.1016/j.entcs.2006.10.037}, volume = "174", number = "7", year = 2007}
|