Publications

Recursively defined data types

• • C.H. Lewis
  • B.K. Rosen
• 1973
• POPL 1973