Thomas van Noort, Peter Achten, Rinus Plasmeijer. A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. In Marco T. Morazán, Sven-Bodo Scholz, editors, Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers. Volume 6041 of Lecture Notes in Computer Science, pages 179-197, Springer, 2009. [doi]
Abstract is missing.