@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} }