%0 Conference Paper %1 conf/ifl/WaltS12 %A van der Walt, Paul %A Swierstra, Wouter %B IFL %D 2012 %E Hinze, Ralf %I Springer %K %P 157-173 %T Engineering Proof by Reflection in Agda. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2012.html#WaltS12 %V 8241 %@ 978-3-642-41581-4

@inproceedings{conf/ifl/WaltS12, added-at = {2023-12-13T01:52:34.000+0100}, author = {van der Walt, Paul and Swierstra, Wouter}, biburl = {https://www.bibsonomy.org/bibtex/2e0b74f017a0d4f18a8f38b2247435f4e/admin}, booktitle = {IFL}, crossref = {conf/ifl/2012}, editor = {Hinze, Ralf}, ee = {https://doi.org/10.1007/978-3-642-41582-1_10}, interhash = {77b0d4b0ef0571ce43f725231e43ea76}, intrahash = {e0b74f017a0d4f18a8f38b2247435f4e}, isbn = {978-3-642-41581-4}, keywords = {}, pages = {157-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:52:34.000+0100}, title = {Engineering Proof by Reflection in Agda.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2012.html#WaltS12}, volume = 8241, year = 2012 }