Paper exploring the dynamic semantics of Hazelnut
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
agda-snapshot adding new agda snapshot -- two commits behind the head of the agda r… Jul 11, 2018
images added ifarxiv flag and decreased image file sizes to comply with arxi… Jul 17, 2018
mockups added HTML for mockups Jul 13, 2018
notes missing files Apr 10, 2018
supplement-popl19 added ACM formatting stuff + tweaked abstract + Aadded various zip fi… Oct 23, 2018
.gitignore Adding deadline snapshot of the agda Apr 17, 2018
ACM-Reference-Format.bst updated to latest acmart cls file and updated title Feb 6, 2018
Makefile Makefile Feb 8, 2018
abstract.tex added ACM formatting stuff + tweaked abstract + Aadded various zip fi… Oct 23, 2018
abstract.txt jonathan's funding info May 1, 2018
acmart-ORIGINAL.cls tweak paragraph formatting in acmart.cls (and save acmart-ORIGINAL.cl… Feb 20, 2018
acmart.cls remove indent before paragraph in acmart.cls Jul 12, 2018
all.short.bib minor edits to related work Jul 12, 2018
appendix-defns.tex fixing a rule name inconsistency wrt the agda May 3, 2018
calculus-on-paper-02-06-18.pdf calculus-on-paper-02-06-18.pdf Feb 21, 2018
calculus-on-paper-02-23-18.pdf added new version of calculus on paper from 2-23 Feb 23, 2018
calculus.tex close #12 Oct 23, 2018
commands.tex first draft of numbers extension; fix some typos in sumtypes extension Apr 17, 2018
discussion.tex final POPL19 submission Jul 12, 2018
etal.sty added figure outlines and basic judgment forms May 3, 2017
examples-1.tex final POPL19 submission Jul 12, 2018
examples-2.tex final POPL19 submission Jul 12, 2018
examples-3.tex added ifarxiv flag and decreased image file sizes to comply with arxi… Jul 17, 2018
examples-4.tex sec2! Apr 17, 2018
examples.tex added ifarxiv flag and decreased image file sizes to comply with arxi… Jul 17, 2018
extensions.tex substantially expanded the related work Apr 30, 2018
fig-bidirectional-typing.tex final POPL19 submission Jul 12, 2018
fig-complete.tex added additional conclusions to complete expansion and fixed statemen… May 2, 2018
fig-dynamics-aux.tex removing some questions about rule names Apr 17, 2018
fig-dynamics-contexts.tex final POPL19 submission Jul 12, 2018
fig-dynamics-steps.tex some layout tweaks and placeholders Feb 24, 2018
fig-elab.tex close #6 Oct 23, 2018
fig-evalctx-instantiation.tex revisions of sec3 through 3.4 and additional proofs and definitions i… Apr 16, 2018
fig-grades-example-2.tex some work on Sec 2.1, with placeholders for mockup screenshots Mar 11, 2018
fig-grades-example.tex edits to sec 2 based on ravi's feedback, new example 4 with figure an… Jul 12, 2018
fig-ground-types.tex removing some questions about rule names Apr 17, 2018
fig-multi-step.tex revisions of sec3 through 3.4 and additional proofs and definitions i… Apr 16, 2018
fig-substitution.tex added definition of hole filling for sigmas Apr 24, 2018
fig-syntax.tex substantially expanded the related work Apr 30, 2018
fig-type-consistency.tex the Label macro was messing up figure positioning, changed it to Capt… Mar 30, 2018
fig-typing-dexp.tex fix my copy-paste slop Apr 17, 2018
grades-cell-mockup-large.png missing files Apr 17, 2018
hazel_NSF.bib final POPL19 submission Jul 12, 2018
hazelnut-dynamics--draft-20180417.pdf address latex error (clipbox already defined); add watermarked draft … Apr 17, 2018
hazelnut-dynamics-figs.tex minor nit: SAp rule formatting Apr 9, 2018
hazelnut-dynamics.tex added CCS concepts + keywords to front matter Oct 23, 2018
implementation-appendix.tex missing files Apr 17, 2018
implementation.tex finished draft of sec3 and 4 Apr 10, 2018
intro.tex added ifarxiv flag and decreased image file sizes to comply with arxi… Jul 17, 2018
joshua.sty copied material from POPL submission Aug 24, 2016
joshuadunfield.sty revisions through the first 2 paragraphs of 3.3 Apr 16, 2018
llproof.sty copied material from POPL submission Aug 24, 2016
macros.tex close #6 Oct 23, 2018
main.tex rough notes for examples section Feb 9, 2018
mathpartir.sty copied material from POPL submission Aug 24, 2016
matts-writing-prefs.md a bit more progress through Section 3; more to come later today Apr 12, 2018
misc.tex starting to organize related work list into groups Mar 8, 2018
numbers.tex close #6 Oct 23, 2018
oopsla18-rebuttal.txt oopsla18 prefix on reviews/rebuttal.txt Jun 30, 2018
oopsla18-reviews.txt oopsla18 prefix on reviews/rebuttal.txt Jun 30, 2018
popl19-appendix.tex final POPL19 submission Jul 12, 2018
popl19-arxiv-submission.zip added ACM formatting stuff + tweaked abstract + Aadded various zip fi… Oct 23, 2018
popl19-submission.zip added ACM formatting stuff + tweaked abstract + Aadded various zip fi… Oct 23, 2018
pull-abstract arxiv version Apr 30, 2018
qsort-example.tex edits to sec 2 based on ravi's feedback, new example 4 with figure an… Jul 12, 2018
rebuttal-popl19.txt tested -> completed Sep 22, 2018
references.bib add paragraph citing Python tutor, and Andy Ko's work Apr 30, 2018
related-work.tex final POPL19 submission Jul 12, 2018
reviews-popl19.txt POPL 2019 reviews Sep 18, 2018
rulelinks.sty copied material from POPL submission Aug 24, 2016
sumtypes.tex close #6 Oct 23, 2018
supplement-popl19.zip added ACM formatting stuff + tweaked abstract + Aadded various zip fi… Oct 23, 2018