Representing cyclic structures as nested datatypes (2006)

by N Ghani, M Hamana, T Uustalu, V Vene
Venue:In TFP