@proceedings{icfp:2003merlin,
  title = {Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003},
  year = {2003},
  tags = {programming languages, variable binding, functional programming, programming},
  researchr = {https://researchr.org/publication/icfp%3A2003merlin},
  cites = {0},
  citedby = {0},
  booktitle = {Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003},
  conference = {ICFP},
  publisher = {ACM},
}