関数型オブジェクト指向

Javaのwildcardについてコメントをいただいて復習?したのですが、wildcardの論文にせよThorupさんの関連論文にせよ、Fsubとか「関数型オブジェクト指向」の先行研究がほぼ完全に無視されている（というか、おそらく知らない）のが辛い。だからSACなどに発表されてるのかもしれませんが…

追記：もちろん、五十嵐さんやWadlerなどは超一流の専門家ですし、論文にもbounded existential typeとの関係とか、ちゃんと書いてありますよ。どきどき。Thorupさんとは米澤研にいたとき、いくら話してもいまいち通じなかったけど…（僕の英語が下手なだけ?）