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
Springer
Berlin, Heidelberg
Pages 412-417
2012