Emmanuel Beffara, Vincent Danos. Disjunctive normal forms and local exceptions. In Colin Runciman, Olin Shivers, editors, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. pages 203-211, ACM, 2003. [doi]
Abstract is missing.