Thank you, Karl! An interesting thing happened at the conference (I'ts about David Ungar asking a question to type theorists). I wrote about it (in Japanese):
http://d.hatena.ne.jp/squeaker/20131101#p1 On Fri, Nov 8, 2013 at 4:12 AM, karl ramberg <karlramb...@gmail.com> wrote: > http://d.hatena.ne.jp/squeaker/20131103#p1 > > http://tinlizzie.org/~ohshima/AGERE2013/AGERESlides.pdf (33 Mb) > > Cheers, > Karl > > > _______________________________________________ > fonc mailing list > fonc@vpri.org > http://vpri.org/mailman/listinfo/fonc > -- -- Yoshiki _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc