Recursive types for free! Manuscript (1991)

by P Wadler