http://mizunashi.net:80/blog/2009/11/30/1259551620000.html pi-calculus の亜種である cube-calculus に対する実行系の提案。言語的に tail recursion しかないためにスタックを使わずにリソース... ja kw Mon, 30 Nov 2009 03:27:00 GMT kw 2009-11-30T03:27:00Z ja kw http://mizunashi.net:80/blog/