Codatatypes in ML (1989)

by Tatsuya Hagino
Venue:Journal of Symbolic Computation