@inproceedings{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining: An Experience Report",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}