re: "I don't think there is a core calculus that specifically incorporates generics as in Java": doesn't Featherweight Java [1] already include generics? (Though a simplified version.)

[1] https://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf