Selective Lambda Lifting. - Sebastian Graf 004; Simon Peyton Jones (CoRR, 2019)

Lower your guards: a compositional pattern-match coverage checker. - Sebastian Graf 004; Simon Peyton Jones; Ryan G. Scott (Proc. ACM Program. Lang., 2020)

Triemaps that match. - Simon Peyton Jones; Sebastian Graf 004 (CoRR, 2023)

Abstracting Denotational Interpreters. - Sebastian Graf 004; Simon Peyton Jones; Sven Keidel (CoRR, 2024)