John Capper, Henrik Nilsson. Static Balance Checking for First-Class Modular Systems of Equations. In Rex L. Page, Zoltán Horváth, Viktória Zsók, editors, Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers. Volume 6546 of Lecture Notes in Computer Science, pages 50-65, Springer, 2010. [doi]
Abstract is missing.