معرفی
Jeremy Yallop is a researcher at the University of Cambridge specializing in programming languages, type systems, and compiler design. He actively contributes to academic conferences such as PLDI, POPL, ICFP, and GPCE, focusing on staged computation, generic programming, and language design.
- Key Research Areas: Functional Programming, Generative Programming, Type Systems, Partial Evaluation
- Conference Roles: PC Co-Chair (PEPM 2017), Steering Committee Chair (PEPM 2019), Session Chair (OCaml 2023, PEPM 2022), Tutorial Presenter
- Notable Contributions: Verified Scheme compiler via CakeML, Macros in OCaml (MacoCaml), Dependent Types in Defunctionalization, Algebraic Simplification (Frex)
- Recent Trends: 2026 work on TEAL (Verified Assembly Language), 2025 developments in Dependently Typed Algebraic Simplification
- Awards: No explicit honors mentioned in provided data
۰مقاله ثبتشده
