PEPM

Keyphrases

Publications

2024

Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara
An Intrinsically Typed Compiler for Algebraic Effect Handlers. PEPM (2024)
Peter Sestoft, Harald Søndergaard
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). PEPM (2024)
Tomoaki Kobayashi, Oleg Kiselyov
Complete Stream Fusion for Software-Defined Radio. PEPM (2024)
Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). PEPM (2024)
Louis Normann, Robert Glück
Partial Evaluation of Reversible Flowchart Programs. PEPM (2024)
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024 PEPM (2024)
Yanhong A. Liu
Incremental Computation: What Is the Essence? (Invited Contribution). PEPM (2024)
Izumi Tanaka, Ken Sakayori, Naoki Kobayashi
Ownership Types for Verification of Programs with Pointer Arithmetic. PEPM (2024)
Fritz Henglein
In memoriam Neil Deaton Jones. PEPM (2024)
Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato
Productivity Verification for Functional Programs by Reduction to Termination Verification. PEPM (2024)
Dines Bjørner
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). PEPM (2024)
Ekaterina Verbitskaia, Igor Engel, Daniil Berezun
A Case Study in Functional Conversion and Mode Inference in miniKanren. PEPM (2024)
Guillaume Allais
Scoped and Typed Staging by Evaluation. PEPM (2024)

2018

2017

2016

2015