Use η/β-expansion instead of η/β-abstraction.
[matthijs/master-project/report.git] / Report.bib
index ec6846a..5e85a93 100644 (file)
  publisher = {Kluwer Academic Publishers},
  address = {Hingham, MA, USA},
 }
+
+@inproceedings{mitchell09,
+ author = {Mitchell, Neil and Runciman, Colin},
+ title = {Losing functions without gaining data: another look at defunctionalisation},
+ booktitle = {Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell},
+ year = {2009},
+ isbn = {978-1-60558-508-6},
+ pages = {13--24},
+ location = {Edinburgh, Scotland},
+ doi = {http://doi.acm.org/10.1145/1596638.1596641},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}