Review POPL paper examples and theorems in ChatGPT
Lead from a concrete program to definitions and the main theorem, then check the proof sketch and claim limits.
中文Install in ChatGPT
A ChatGPT workspace with skill creation enabled. Paste the fictional material below as text.
- In a ChatGPT workspace with skill creation enabled, open Plugins → Skills → Create → Create with editor.
- Create a skill in the editor and adapt the text-only `popl-writing-style` workflow from the pinned GitHub source into its instructions.
- Save the skill, then type @ in a new chat to select it and try the example.
Example task
Revise the overview using these fictional Fern language notes.
paper="Fern core language"; exampleTerm="let box = copy(x) in use(box)"; phenomenon="copy breaks the alias invariant"; theorem="T-1 alias safety"; scope="sequential language"; hardCase="copy rule"; proofMeasure="derivation height"What to check
Introduce the aliasing issue with `let box = copy(x) in use(box)`. Scope `T-1 alias safety` to the sequential language. Name derivation height as the induction measure and the copy rule as the hard case.
Original SKILL.md on GitHub · Updated
Frequently asked question
How can ChatGPT connect a program example with a POPL paper's main theorem?
Show the concrete phenomenon, then add definitions and notation as the example needs them. State theorem hypotheses and identify the induction measure and hard case.