@inproceedings{fegaras96,
 author = {Leonidas Fegaras and Tim Sheard},
 title = {{Revisiting Catamorphisms Over Datatypes with Embedded Functions (or, Programs from Outer Space)}},
 booktitle = {{Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}},
 year = {1996},
 pages = {284--294},
 publisher = {ACM Press}
 }

@inproceedings{miller91,
author="D. Miller",
title={{Unification of Simply Typed Lambda-Terms as Logic Programming}},
booktitle="Eighth International Conference on Logic Programming",
editor="K. Furukawa",
year=1991, 
pages="255--269"}

@inproceedings{donnelly-merlin05,
author = "Kevin Donnelly and Hongwei Xi",
title = {Combining Higher-Order Abstract Syntax with First-Order Abstract Syntax in {ATS}},
booktitle = "Workshop on Mechanized Reasoning about Languages with Variable Binding (MER$\lambda$IN'05)",
year = 2005,
month = "September",
address = "Tallinn, Estonia"
}

@article{miller05,
 author = {Dale Miller and Alwen Tiu},
 title = {A proof theory for generic judgments},
 journal = {ACM Trans. Comput. Logic},
 volume = {6},
 number = {4},
 year = {2005},
 issn = {1529-3785},
 pages = {749--783},
 doi = {http://doi.acm.org/10.1145/1094622.1094628},
 publisher = {ACM Press},
 address = {New York, NY, USA}
}

@techreport{poswolsky07,
author = {Adam Poswolsky and Carsten Sch\"{u}rmann},
institution = {{Yale University}},
title = "Extended report on delphin: A functional programming language with higher-order encodings and dependent types",
number = "YALEU/DCS/TR-1375",
year = "2007"
}

@inproceedings{pientka06plpv,
 author = {Brigitte Pientka},
 title = {Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions},
 booktitle = {Programming Languages meets Program Verification (PLPV '06)},
 year = {2006},
 month = {August},
 address = {Seattle, WA, USA}
}

@inproceedings{washburn+03,
        author = {Geoffrey Washburn and Stephanie Weirich},
        booktitle = {ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming},
        month = {September},
        pages = {249--262},
        publisher = {ACM Press},
        title = {Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism},
        year = {2003}
}

@inproceedings{meijer-hutton95,
        author = "Erik Meijer and Graham Hutton",
        title = "{Bananas in Space: Extending fold and unfold
                to Exponential Types}",
        booktitle = "Proceedings of the 7th SIGPLAN-SIGARCH-WG2.8
                International Conference on Functional
                Programming and Computer Architecture",
        publisher = "ACM Press, La Jolla, California",
        month = jun,
        year = 1995}

@inproceedings{pientka-popl08,
 author = {Brigitte Pientka},
 title = {A Type-Theoretic Foundation for Programming with Higher-Order Abstract Syntax and First-Class Substitutions},
 booktitle = {{Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}},
 year = {2008}
 }
