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