@InProceedings{Pientka:PPDP08,
  author =      {Brigitte Pientka and Joshua Dunfield},
  title =       {Programming with proofs and explicit contexts},
  booktitle =   {ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08)},
  pages =       {163--173},
  month =       jul,
  year =        {2008},
  publisher =   "ACM Press"
}