PEPM C

8 papers

YearTitle / Authors
2025A Type Safe Calculus for Generating Syntax-Directed Editors.
Benjamin Bennetzen, Nikolaj Rossander Kristensen, Andreas Tor Mortensen, Peter Buus Steffensen, Sune Skaanning Engtorp, Hans Hüttel
2025A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract).
Brigitte Pientka
2025Algebraic Stepper for Simple Modules.
Kenichi Asai, Hinano Akiyama
2025Characterizations of Partial Well-Behaved Lenses.
Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi
2025Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2025, Denver, CO, USA, 21 January 2025
Guillaume Allais, Yanhong Annie Liu
2025The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk).
William J. Bowman
2025The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract).
Satnam Singh
2025Typed Program Analysis without Encodings.
Barry Jay