T. Stephen Strickland, Matthias Felleisen. Nested and Dynamic Contract Boundaries. 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 141-158, Springer, 2009. [doi]
Abstract is missing.