Simon Kent. A Layered Type System for Re-entrance Control. In László Böszörményi, Peter Schojer, editors, Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings. Volume 2789 of Lecture Notes in Computer Science, pages 88-97, Springer, 2003. [doi]
Abstract is missing.