Jeff Polakow, Kwangkeun Yi. Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. In Herbert Kuchen, Kazunori Ueda, editors, Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings. Volume 2024 of Lecture Notes in Computer Science, pages 61-77, Springer, 2001. [doi]
Abstract is missing.