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