There was a co-located workshop called FOOL, or Foundation of Object-Oriented Languages (http://fool2013.cs.brown.edu/). It was a gathering of mainly static-type theorists. I snuck into it when I saw David Ungar and Gilad Bracha chatting t…