Martin Odersky. Challenges in Type Systems Research. ACM Computing Surveys, 28(4es):169, 1996.
@article{Odersky96,
title = {Challenges in Type Systems Research},
author = {Martin Odersky},
year = {1996},
tags = {type system},
researchr = {https://researchr.org/publication/Odersky96},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {28},
number = {4es},
pages = {169},
}