So I just came back from the ACM-SE conference in Auburn at which I gave a talk on generics (slides here). I also gave this talk at Rosetta Stone shortly beforehand. I’ve been considering an interesting extension to the example from the paper; Trent Bowman (of Rosetta Stone) had suggested to me that it might be interesting to enable InvokerProxy types to enforce a restriction on the types of Commands they may invoke.
