Functional programs: Conversions between deep and shallow embeddings

Magnus O. Myreen
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Springer
Berlin, Heidelberg
Pages 412-417
2012