@article{wmm06funlf,
  author = {Daniel Marino and Brian Chin and Todd Millstein and Gang Tan and Robert J. Simmons and David Walker},
  title = {Mechanized Metatheory for User-Defined Type Extensions},
  booktitle = {1nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory},
  month = {Sep},
  year = {2006},
}