Alex Summers just presented our work (with Sophia and Mariangiola) on semantic models for Java wildcards. He gave (I thought) a very good talk. It was a hard talk to make because the work is very technical and complex, and the joy is very much in the details. Alex managed to describe our proofs using tree diagrams in a very intuitive way, I think I understood the work better than when I was actually doing it!
I think we got a lot of interest, and certainly we had some good, interested questions.
No comments:
Post a Comment