https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @ikegami__: FLOPS 2016 accepted papers です https://t.co/cJpRdBlq8y | |
| Executable Relational Specifications of Polymorphic Type Systems using Prolog、他でのスライド見ると単純型付λの実装から3行の追加でlet多相入ってるぽい？ https://t.co/oht2bshMgM | |
| 今年の僕の誕生日併設イベントはPPLじゃなくてFLOPSなのか https://t.co/ErMwNbFDAg |