kw's blog - Gradual Typing for Objects http://mizunashi.net:80/blog/2008/11/12/1226465206000.html Object Calculus における漸進的型付けの話。漸進的型付けは... ja kw Wed, 12 Nov 2008 04:46:46 GMT kw 2008-11-12T04:46:46Z ja kw kw's blog http://mizunashi.net:80/blog/