@inproceedings{cremet:hal-00903812, TITLE = {{A Core Calculus for Scala Type Checking}}, AUTHOR = {Cremet, Vincent and Garillot, Fran{\c c}ois and Lenglet, Sergue{\"i} and Odersky, Martin}, URL = {https://inria.hal.science/hal-00903812}, BOOKTITLE = {{Mathematical Foundations of Computer Science 2006}}, ADDRESS = {Star{\'a} Lesn{\'a}, Slovakia}, EDITOR = {Kr{\'a}lovi{\v c} and Rastislav and Urzyczyn and Pawel}, PUBLISHER = {{Springer Berlin Heidelberg}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {4162}, PAGES = {1-23}, YEAR = {2006}, MONTH = Aug, DOI = {10.1007/11821069\_1}, PDF = {https://inria.hal.science/hal-00903812/file/06-Cremet.pdf}, HAL_ID = {hal-00903812}, HAL_VERSION = {v1}, }