Ilya Sergey, Dave Clarke. From type checking by recursive descent to type checking with an abstract machine. In Claus Brabrand, Eric {Van Wyk}, editors, Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding. pages 2, ACM, 2011. [doi]
@inproceedings{SergeyC11,
title = {From type checking by recursive descent to type checking with an abstract machine},
author = {Ilya Sergey and Dave Clarke},
year = {2011},
doi = {10.1145/1988783.1988785},
url = {http://doi.acm.org/10.1145/1988783.1988785},
tags = {type checking, abstract machine},
researchr = {https://researchr.org/publication/SergeyC11},
cites = {0},
citedby = {0},
pages = {2},
booktitle = {Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding},
editor = {Claus Brabrand and Eric {Van Wyk}},
publisher = {ACM},
isbn = {978-1-4503-0665-2},
}