@inproceedings{PalkaAST2011,
  title = {Testing an optimising compiler by generating random lambda terms},
  author = {Michal H. Palka and Koen Claessen and Russo, Alejandro and John Hughes},
  year = {2011},
  url = {http://dl.acm.org/citation.cfm?id=1982615},
  tags = {rule-based, testing, Haskell, data-flow programming, data-flow, rules, type checking, random testing, compiler},
  researchr = {https://researchr.org/publication/PalkaAST2011},
  cites = {0},
  citedby = {0},
  pages = {91-97},
  booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test},
}