default search action

combined dblp search
author search
venue search
publication search

ask others

PEPM 2024: London, UK

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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/2024
Gabriele Keller, Meng Wang:
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. ACM 2024
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/SestoftS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/SestoftS24
Peter Sestoft, Harald Søndergaard:
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Henglein24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Henglein24
Fritz Henglein:
In memoriam Neil Deaton Jones. 14-15
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/PettorossiPFA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/PettorossiPFA24
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis:
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). 16-38
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Liu24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Liu24
Yanhong A. Liu:
Incremental Computation: What Is the Essence? (Invited Contribution). 39-52
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Bjorner24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Bjorner24
Dines Bjørner:
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). 53-56
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/0001K24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/0001K24
Tomoaki Kobayashi, Oleg Kiselyov:
Complete Stream Fusion for Software-Defined Radio. 57-69
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/FukaishiKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/FukaishiKS24
Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato:
Productivity Verification for Functional Programs by Reduction to Termination Verification. 70-82
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Allais24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Allais24
Guillaume Allais:
Scoped and Typed Staging by Evaluation. 83-93
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/TanakaSK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/TanakaSK24
Izumi Tanaka, Ken Sakayori, Naoki Kobayashi:
Ownership Types for Verification of Programs with Pointer Arithmetic. 94-106
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/VerbitskaiaEB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/VerbitskaiaEB24
Ekaterina Verbitskaia, Igor Engel, Daniil Berezun:
A Case Study in Functional Conversion and Mode Inference in miniKanren. 107-118
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/NormannG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/NormannG24
Louis Normann, Robert Glück:
Partial Evaluation of Reversible Flowchart Programs. 119-133
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/TsuyamaCM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/TsuyamaCM24
Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara:
An Intrinsically Typed Compiler for Algebraic Effect Handlers. 134-145

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.