I'm delighted that @LukeGeeson's work on "mix testing" of compilers will appear at #OOPSLA2024 (joint with Brotherston, Dijkstra, @afd_icl, Smith, @Tyler_UCSC, and myself). Here's a blog post that gives a short introduction to the project:...
almost 2 years ago