Sebastian Graf

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Slightly Higher

Operational Semantics

Representation Language

Daubechies Wavelet

Top Venues

Proc. ACM Program. Lang.

Publications

Sebastian Graf, Simon Peyton Jones, Sven Keidel
Abstracting Denotational Interpreters. CoRR (2024)
Simon Peyton Jones, Sebastian Graf
Triemaps that match. CoRR (2023)
Sebastian Graf, Simon Peyton Jones, Ryan G. Scott
Lower your guards: a compositional pattern-match coverage checker. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Sebastian Graf, Simon Peyton Jones
Selective Lambda Lifting. CoRR (2019)