Cláudio Amaral, Mário Florido, Patrik Jansson. Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. In Kenji Rikitake, Erik Stenman, editors, Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011. pages 92-93, ACM, 2011. [doi]
Abstract is missing.