A core calculus for Scala type checking

Published in In the proceedings of International Symposium on Mathematical Foundations of Computer Science, 2006