F. Pottier, and N. Gauthier. POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on
Principles of programming languages, page 89--98. New York, NY, USA, ACM, (2004)
A. Dimock, I. Westmacott, R. Muller, F. Turbak, and J. Wells. ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference
on Functional programming, page 14--25. New York, NY, USA, ACM, (2001)
O. Danvy, and L. Nielsen. PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference
on Principles and practice of declarative programming, page 162--174. New York, NY, USA, ACM, (2001)
O. Danvy. ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference
on Functional programming, page 131--142. New York, NY, USA, ACM, (2008)
E. Cooper, and P. Wadler. PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles
and practice of declarative programming, page 231--242. New York, NY, USA, ACM, (2009)
J. Bell, F. Bellegarde, and J. Hook. ICFP '97: Proceedings of the second ACM SIGPLAN international conference
on Functional programming, page 25--37. New York, NY, USA, ACM, (1997)
M. Ager, D. Biernacki, O. Danvy, and J. Midtgaard. PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference
on Principles and practice of declaritive programming, page 8--19. New York, NY, USA, ACM, (2003)