@Article{Anderson73, author = {T. Anderson and J. Eve and J. Horning}, title = {Efficient LR(1) Parsers}, journal = {Acta Informatica}, year = 1973, volume = 2, pages = {2--39}} @PhdThesis{DeRemer69, author = {Frank DeRemer}, title = {Practical Translators for LR(k) Languages}, school = {MIT}, year = 1969} @book{Barry:2016vj, author = {Paul Barry}, publisher = {O'Reilly}, title = {Head First Python}, year = {2016}} @book{Matthes:2019vs, author = {Eric Matthes}, edition = {2nd edition}, publisher = {No Starch Press}, title = {Python Crash Course}, year = {2019}} @Manual{PSF21:cpython, title = {Python {GitHub} {Repository}}, organization = {Python Software Foundation}, url = {https://github.com/python}, year = 2021 } @Manual{PSF21:python_ref, title = {The Python Language Reference}, organization = {Python Software Foundation}, year = 2021 } @book{Lutz:2013vp, author = {Mark Lutz}, edition = {5th edition}, publisher = {O'Reilly}, title = {Learning Python}, year = {2013} } @book{Sweigart:2019vn, author = {Al Sweigart}, publisher = {No Starch Press}, title = {Automate the Boring Stuff with Python}, year = {2019}} @inproceedings{Dieckmann99, author = {Sylvia Dieckmann and Urs H{\"{o}}lzle}, title = {A Study of the Allocation Behavior of the SPECjvm98 Java Benchmark}, booktitle = {Proceedings of the 13th European Conference on Object-Oriented Programming, ECOOP 1999, \normalfont{Lecture Notes in Computer Science 1628}}, pages = {92--115}, publisher = {Springer}, year = 1999 } @article{Dunfield:2021, author = {Dunfield, Jana and Krishnaswami, Neel}, title = {Bidirectional Typing}, year = 2021, publisher = {Association for Computing Machinery}, volume = 54, number = 5, journal = {ACM Comput. Surv.}, articleno = 98, numpages = 38 } @Misc{Lehtosalo2021:MyPy, author = {Jukka Lehtosalo}, title = {MyPy Optional Type Checker for Python}, url = {http://mypy-lang.org/}, year = 2021 } @article{Pierce:2000, author = {Pierce, Benjamin C. and Turner, David N.}, title = {Local Type Inference}, year = 2000, publisher = {Association for Computing Machinery}, volume = 22, number = 1, journal = {ACM Trans. Program. Lang. Syst.}, pages = {1--44} } @misc{shinan20:_lark_docs, author = {Erez Shinan}, title = {Welcome to Lark's Documentation!}, url = {https://lark-parser.readthedocs.io/en/latest/index.html}, year = 2020} @book{Tomita:1985qr, author = {Masaru Tomita}, publisher = {Kluwer Academic}, title = {Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems}, year = {1985}} @article{Earley:1970ly, author = {Earley, Jay}, issue = {2}, journal = {Commun. ACM}, month = {February}, numpages = {9}, pages = {94--102}, publisher = {Association for Computing Machinery}, title = {An efficient context-free parsing algorithm}, volume = {13}, year = {1970}} @book{Hopcroft06:_automata, author = {John Hopcroft and Rajeev Motwani and Jeffrey Ullman}, title = {Introduction to Automata Theory, Languages, and Computation}, publisher = {Pearson}, year = 2006} @techreport{Lesk:1975uq, author = {M. E. Lesk and E. Schmidt}, institution = {Bell Laboratories}, month = {July}, title = {Lex - A Lexical Analyzer Generator}, year = {1975}} @incollection{Johnson:1979qy, author = {Stephen C. Johnson}, booktitle = {{UNIX} Programmer's Manual}, date-added = {2007-08-27 13:19:51 -0600}, date-modified = {2007-08-27 13:23:00 -0600}, organization = {AT\&T}, pages = {353--387}, publisher = {Holt, Rinehart, {and} Winston}, title = {{YACC}: Yet Another Compiler-Compiler}, volume = {2}, year = {1979}}