Representing cyclic structures as nested types. Presented at Trends (2006)

by N Ghani, M Haman, T Uustalu, V Vene
Venue:in Functional Programming