work ATLaS Abstract Techniques for Programming Languages and Secure Compilation Higher-order Abstract GSOS A categorical framework of higher-order programming languages. fun
