default search action

combined dblp search
author search
venue search
publication search

ask others

PEPM 2025: Denver, CO, USA

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > PEPM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/pepm/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/2025
Guillaume Allais, Yanhong Annie Liu:
Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2025, Denver, CO, USA, 21 January 2025. ACM 2025, ISBN 979-8-4007-1350-7
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Bowman25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Bowman25
William J. Bowman:
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk). 1-9
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Pientka25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Pientka25
Brigitte Pientka:
A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract). 10-11
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Singh25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Singh25
Satnam Singh:
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract). 12
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/AsaiA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/AsaiA25
Kenichi Asai, Hinano Akiyama:
Algebraic Stepper for Simple Modules. 13-29
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/BennetzenKMSEH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/BennetzenKMSEH25
Benjamin Bennetzen, Nikolaj Rossander Kristensen, Andreas Tor Mortensen, Peter Buus Steffensen, Sune Skaanning Engtorp, Hans Hüttel:
A Type Safe Calculus for Generating Syntax-Directed Editors. 30-42
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Hashiba0AK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Hashiba0AK25
Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi:
Characterizations of Partial Well-Behaved Lenses. 43-53
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Jay25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Jay25
Barry Jay:
Typed Program Analysis without Encodings. 54-65

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.