PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Annabel Levy

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. Commuting Conversions and Join Points for Call-by-Push-Value

    2026 · Digital Repository at the University of Maryland (University of Maryland College Park)

    Levy’s call-by-push-value (CBPV) is a language that subsumes both call-by-name and call-by-value lambda calculi by syntactically distinguishing values from computations and explicitly specifying execution order. This low-level handling of computation suspension and resumption makes CBPV …