From type checking by recursive descent to type checking with an abstract machine

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]

Authors

Ilya Sergey

This author has not been identified. Look up 'Ilya Sergey' in Google

Dave Clarke

This author has not been identified. It may be one of the following persons: Look up 'Dave Clarke' in Google