--- a/latex/cpdt.bib	Thu Mar 29 18:10:52 2012 -0400
+++ b/latex/cpdt.bib	Sun Apr 01 15:02:32 2012 -0400
@@ -325,3 +325,38 @@
   school = {LMU M\"unchen},
   year= {1993}
 }
+
+@article{BGB,
+ author = {Geoffrey Washburn and Stephanie Weirich},
+ title = {Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism},
+ journal = {J. Funct. Program.},
+ volume = {18},
+ number = {1},
+ year = {2008},
+ pages = {87--140},
+ publisher = {Cambridge University Press},
+ address = {New York, NY, USA},
+ }
+
+@InProceedings{PhoasICFP08,
+author = {Adam Chlipala},
+title = {Parametric Higher-Order Abstract Syntax for Mechanized Semantics},
+booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming},
+year = {2008},
+pages = {143--156}
+}
+
+@article{parametricity,
+ author = {Reynolds, J.C.},
+ year = {1983},
+ title = {Types, abstraction, and parametric polymorphism},
+ journal = {Information Processing},
+ pages = {513--523}
+}
+
+@InProceedings{CompilerPOPL10,
+author = {Adam Chlipala},
+title = {A Verified Compiler for an Impure Functional Language},
+booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+year = {2010},
+}