domains / families / research / popl-writing-style

popl-writing-style

separate

Use when drafting or revising POPL prose — building the informal-to-formal ramp from a motivating program to definitions to a sharply stated main theorem, keeping notation coherent across 25 pages of text, writing proof sketches that name the hard case, and framing significance as an idea other PL researchers can reuse.

When to use

• drafting POPL prose
• revising POPL prose
• building informal-to-formal ramp
• maintaining notation coherence
• writing proof sketches
• framing significance

When not to use

• empirical experiments
• related work lists

Skill page

Source