Grech, Neville; Fischer, Bernd; Rathke, Julian Preemptive type checking. (English) Zbl 1400.68056 J. Log. Algebr. Methods Program. 101, 151-181 (2018). MSC: 68N30 68N15 68N18 PDF BibTeX XML Cite \textit{N. Grech} et al., J. Log. Algebr. Methods Program. 101, 151--181 (2018; Zbl 1400.68056) Full Text: DOI
Grech, Neville; Rathke, Julian; Fischer, Bernd Preemptive type checking in dynamically typed languages. (English) Zbl 1405.68030 Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 195-212 (2013). MSC: 68N15 PDF BibTeX XML Cite \textit{N. Grech} et al., Lect. Notes Comput. Sci. 8049, 195--212 (2013; Zbl 1405.68030) Full Text: DOI