default search action

combined dblp search
author search
venue search
publication search

ask others

PEPM 2021: Virtual Event, Denmark

> 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/2021
Sam Lindley, Torben Æ. Mogensen:
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. ACM 2021, ISBN 978-1-4503-8305-9
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/GodiksenHHLO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/GodiksenHHLO21
Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie:
A type-safe structure editor calculus. 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Tanaka21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Tanaka21
Akira Tanaka:
Coq to C translation with partial evaluation. 14-31
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/SasanoC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/SasanoC21
Isao Sasano, Kwanghoon Choi:
A text-based syntax completion method using LR parsing. 32-43
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/UenoT0T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/UenoT0T21
Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada:
Counterexample generation for program verification based on ownership refinement types. 44-57
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/LozovB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LozovB21
Peter Lozov, Dmitry Boulytchev:
Efficient fair conjunction for structurally-recursive relations. 58-73
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/SullivanDA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/SullivanDA21
Zachary J. Sullivan, Paul Downen, Zena M. Ariola:
Strictly capturing non-strict closures. 74-89

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.