Michael Karr. A Translator from C to a Lambda-Calculus Representation. SIGPLAN Notices, 31(4):28-31, 1996.
@article{Karr96, title = {A Translator from C to a Lambda-Calculus Representation}, author = {Michael Karr}, year = {1996}, tags = {C++}, researchr = {https://researchr.org/publication/Karr96}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {31}, number = {4}, pages = {28-31}, }