Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer. Embedding polymorphic dynamic typing. In Jaakko Järvi, Shin-Cheng Mu, editors, Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011. pages 25-36, ACM, 2011. [doi]
Abstract is missing.