All recursive types defined using products and sums can be implemented using pointers

Algebraic Logic and Universal Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0043080 ◽

2006 ◽

pp. 111-132 ◽

Cited By ~ 3

Author(s):

Eric G. Wagner

Download Full-text