non-inductive types

Geoffrey Plitt ggp@andrew.cmu.edu
Fri, 15 Mar 2002 03:30:41 -0500


I am interested in the representation of non-inductive (cyclical?)
types, such as doubly-linked lists and graphs, in functional languages.

Is there a good site or a good paper for me to peruse?

-G