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

• Authors:

• Eric G. Wagner

• Affiliations:

• -

• Venue:
• AUSCRYPT '90 Proceedings of the international conference on cryptology on Algebraic logic and universal algebra in computer science
• Year:
• 1990