Codatatypes in ML (1989)

by Tatsuya Hagino
Venue:J. Symb. Logic