kw's blog - A Core Calculus for Java Exceptions http://mizunashi.net:80/blog/2010/02/08/1265593200000.html Java の例外をフォーマルに扱うための体系の提案... ja kw Mon, 08 Feb 2010 01:40:00 GMT kw 2010-02-08T01:40:00Z ja kw kw's blog http://mizunashi.net:80/blog/