These two papers from the author should be linked as background reading for those interested: https://dl.acm.org/doi/pdf/10.1145/3158140 https://dl.acm.org/doi

These two papers from the author should be linked as background reading for those interested: https://dl.acm.org/doi/pdf/10.1145/3158140 https://dl.acm.org/doi/pdf/10.1145/3158140 https://lampwww.epfl.ch/~amin/doc/lms-black.pdf https://lampwww.epfl.ch/~amin/doc/lms-black.pdf As a side note, I'm missing some more frequent submissions related to programming language theory, like in the old days.