Type-preserving compilation of Featherweight Java (0)

by C League, Z Shao, V Trifonov
Venue:ACM Transactions on Programming Languages and Systems