@conference{giannak16pps,
  author = {Theophilos Giannakopoulos and Mitchell Wand and Andrew Cobb},
  booktitle = {Probabilistic Programming Semantics Workshop},
  month = {January},
  title = {Finite-depth higher-order abstract syntax trees for reasoning about probabilistic programs},
  url = {http://pps2016.soic.indiana.edu/files/2015/12/hoas-extended-abstract.pdf},
  year = {2016}
}