domains / families / research / popl-related-work

popl-related-work

separate

Use when positioning a POPL paper in the semantics, type-systems, and verification literature — stating per-line technical deltas against the nearest formal systems, covering the PACMPL family and LICS/CAV/CPP/TOPLAS neighbors, citing PACMPL-era papers in journal form, and dblp-verifying every classic before it is attributed to POPL.

When to use

• positioning a POPL paper
• stating per-line technical deltas
• covering the PACMPL family and LICS/CAV/CPP/TOPLAS neighbors
• citing PACMPL-era papers in journal form
• dblp-verifying every classic before it is attributed to POPL

When not to use

• popl-topic-selection

Skill page

Source