X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;f=thesis.bib;h=5ca5dc0b0b1bcee24c7ecb760727edead3d3194e;hb=6af3b8682058745717943cf1f39b86966210f07b;hp=60e575bc7a5b534e9d046b7121468809cedfb2d1;hpb=7889bf4c9132db84d828bc7a221dba57e8579832;p=bitonic-mengthesis.git

diff --git a/thesis.bib b/thesis.bib
index 60e575b..5ca5dc0 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -419,3 +419,55 @@ year = {2012}
   organization = {IEEE},
   file = {:/home/bitonic/docs/papers/nbe.pdf:PDF}
 }
+
+@inproceedings{McBride2004b,
+  title={I am not a number: I am a free variable},
+  author={McBride, Conor and McKinna, James},
+  booktitle={Proceedings of the ACM SIGPLAN Haskell Workshop},
+  year={2004},
+  organization={Citeseer}
+}
+
+@article{Bird1999,
+  title={De Bruijn notation as a nested datatype},
+  author={Richard S. Bird and Ross Paterson},
+  journal={J. Functional Programming},
+  volume={9},
+  number={1},
+  pages={77--91},
+  year={1999},
+  publisher={Cambridge Univ Press}
+}
+
+@inproceedings{de1972lambda,
+  title={Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem},
+  author={de Bruijn, Nicolaas Govert},
+  booktitle={Indagationes Mathematicae (Proceedings)},
+  volume={75},
+  number={5},
+  pages={381--392},
+  year={1972},
+  organization={Elsevier}
+}
+
+@article{henglein1993type,
+  title={Type inference with polymorphic recursion},
+  author={Henglein, Fritz},
+  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
+  volume={15},
+  number={2},
+  pages={253--289},
+  year={1993},
+  publisher={ACM}
+}
+
+@inproceedings{weirich2011binders,
+  title={Binders unbound},
+  author={Weirich, Stephanie and Yorgey, Brent A and Sheard, Tim},
+  booktitle={ACM SIGPLAN Notices},
+  volume={46},
+  number={9},
+  pages={333--345},
+  year={2011},
+  organization={ACM}
+}
\ No newline at end of file