explorable-viz/popl2022 Issues
POPL talk
ClosedTuring practice talk
Closed 1PLUG practice talk
ClosedDraft 2 for PLUG
Closed5-min promo video
Closed 1Substantive revisions
Closed 1Artifact submission
ClosedReviewer response
ClosedDraft 2 of sections 1-4
ClosedFinal version
ClosedComments on Section 1&2
ClosedRecords
Closed25 May - Notes
Closed 1First pass over core language
Closed 2Environment lookup lemma
Closed 1Mutual recursion lemma
ClosedHole rules
ClosedHaskell-style arrays
Closed 1Desugaring Galois connection
Closed 2Piecewise definitions
Closed 5Slicing rules for desugaring
Closed 16Draft 1
ClosedHPI presentation
ClosedExplore grant options
ClosedFirst pass over introduction
Closed 3Initial draft
Closed