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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.