Better Defunctionalization Through Lambda Set Specialization

This repository contains a compressed docker image file, containing the artifact for the PLDI 2023 paper "Better Defunctionalization through Lambda Set Specialization." To use this artifact,first decompress the file (using `tar` or an archiving program like 7zip), and then use `docker load` to load up the decompressed docker image. Information for reproducing the results from our PLDI paper is available in README.md files in the 'morphic/' and 'LSSIsabelle/' directories inside the Docker image. Note! the Docker archive must be decompressed and then loaded with 'docker load' (*not* 'docker import', as our archive does not use squashed layers)