Recursively Defined Data Types.

Clayton H. Lewis, Barry K. Rosen

Browse the full POPL paper archive.