@Inproceedings{EPTCS43.3, author = {Danielsson, Nils Anders}, year = {2010}, title = {Beating the Productivity Checker Using Embedded Languages}, editor = {Bove, Ana and Komendantskaya, Ekaterina and Niqui, Milad}, booktitle = {{\rm Proceedings Workshop on} Partiality and Recursion in Interactive Theorem Provers, {\rm Edinburgh, UK, 15th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {43}, publisher = {Open Publishing Association}, pages = {29-48}, doi = {10.4204/EPTCS.43.3}, }