I have some blogs from my PhD days at Northeastern here. And I also had a guest post on the n-Category Cafe on category-theoretic semantics of the graduality property of gradual typing.