Directly reflective meta-programming

Overview of attention for article published in Higher-Order & Symbolic Computation, January 2008

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 Wikipedia article.

In mathematics, Church encoding is a way of representing various data types in the lambda calculus.

This page shows the most recent Wikipedia articles that mention this research output. Click here to find out how to access more activity.