Eric G. Wagner All recursive types defined using products and sums can be implemented using pointers. 111-132 1988 conf/aluacs/1988 Algebraic Logic and Universal Algebra in Computer Science db/conf/aluacs/aluacs1988.html#Wagner88 http://dx.doi.org/10.1007/BFb0043080