Representing Cyclic Structures as Nested Datatypes

by Neil Ghani , Makoto Hamana , Tarmo Uustalu , Varmo Vene
Citations:5 - 0 self