Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster. The ruby type checker. In Sung Y. Shin, José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. pages 1565-1572, ACM, 2013. [doi]
Abstract is missing.