3 ms·
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? (Thoug
by phlummox 5y ago
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 https://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf