Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hazelgrove/hazelnut-popl17 issues and pull requests

#58 - Inaccuracies in the depiction of Lamdu

Issue - State: open - Opened by yairchu about 6 years ago - 2 comments

#57 - tech report

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments

#56 - update arxiv with final version

Issue - State: closed - Opened by cyrus- about 8 years ago - 1 comment

#55 - Put archival copy of artifacts on university webspace

Issue - State: closed - Opened by cyrus- about 8 years ago

#54 - author instructions

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment

#53 - style of future work section

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RD

#52 - incrementalizing HZ

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: camera-ready, popl-review, RD

#51 - note LCA algorithm in reachability more carefully

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RD

#50 - action macro for remove ascription

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments
Labels: camera-ready, popl-review, RD

#49 - what is the principle?

Issue - State: closed - Opened by ivoysey about 8 years ago - 3 comments
Labels: camera-ready, popl-review, RD

#48 - typechecker implementation

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RD

#47 - no synth rule for lambda

Issue - State: closed - Opened by ivoysey about 8 years ago - 4 comments
Labels: camera-ready, popl-review, RD

#46 - universal subsumption rule

Issue - State: closed - Opened by ivoysey about 8 years ago - 3 comments
Labels: camera-ready, popl-review, RD

#45 - mention extension in the abstract

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: camera-ready, popl-review, RD

#45 - mention extension in the abstract

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: camera-ready, popl-review, RD

#44 - don't overstate empirical claims

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: camera-ready, popl-review, RD

#44 - don't overstate empirical claims

Issue - State: closed - Opened by ivoysey about 8 years ago
Labels: camera-ready, popl-review, RD

#43 - extending the language from STLC

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RD

#42 - incremental type and declarations

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RD

#41 - polymorphism, system F, HM

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RD

#40 - source language bidirectional

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments
Labels: camera-ready, popl-review, RD

#39 - source language design

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RD

#38 - partial evaluation with holes

Issue - State: closed - Opened by ivoysey about 8 years ago - 3 comments
Labels: camera-ready, popl-review, RC, RD

#37 - independence of movement from typesystem

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RC

#36 - cursor erasure wording

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RC

#35 - sensibility and delete

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RB

#35 - sensibility and delete

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RB

#34 - design choice about cursor focus

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RB

#33 - rwh citations from ian's pop seminar

Issue - State: closed - Opened by ivoysey about 8 years ago - 3 comments
Labels: citations, camera-ready, per-RWH

#32 - renaming bound variables

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RB

#31 - clearer discussion of exactly what each checksum bans you from getting wrong

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RB, RD

#30 - make case for usability better if we can

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: camera-ready, popl-review, RB

#29 - discussion of type inference

Issue - State: closed - Opened by ivoysey about 8 years ago - 3 comments
Labels: camera-ready, popl-review, per-RWH, RD

#28 - cite "synthesizer generator"

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments
Labels: citations, camera-ready, per-RWH

#27 - cite "Semantics for structure editing environments"

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment
Labels: citations, camera-ready

#26 - clarify text about YoungSeok's data

Issue - State: closed - Opened by cyrus- about 8 years ago
Labels: camera-ready

#25 - acknowledgements

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments
Labels: camera-ready

#25 - acknowledgements

Issue - State: closed - Opened by ivoysey about 8 years ago - 2 comments
Labels: camera-ready

#24 - add note about omitting triangles in HZ

Issue - State: closed - Opened by cyrus- about 8 years ago
Labels: camera-ready

#23 - Cite "formal specification of a display-oriented editor"

Issue - State: closed - Opened by cyrus- about 8 years ago - 1 comment
Labels: citations, per-JEA, camera-ready

#22 - Cite "modeless structure editing" paper

Issue - State: closed - Opened by cyrus- about 8 years ago
Labels: citations, per-JEA, camera-ready

#21 - Can rule 26a (construct inj in synthetic position) be generalized?

Issue - State: closed - Opened by cyrus- about 8 years ago - 1 comment
Labels: camera-ready

#19 - Abstract: remove the parentheses, which don't fit well in an abstract, and add a comma.

Issue - State: closed - Opened by cyrus- about 8 years ago
Labels: per-JEA, camera-ready

#18 - "dynamically typed" vs "trivial static semantics"

Issue - State: closed - Opened by cyrus- about 8 years ago
Labels: per-JEA, camera-ready

#17 - Update ArXiV with AE version of paper

Issue - State: closed - Opened by cyrus- about 8 years ago - 1 comment

#16 - turn inj_1/inj_2 into inj_L/inj_R?

Issue - State: closed - Opened by cyrus- about 8 years ago - 4 comments
Labels: camera-ready

#15 - there is no rule numbered 5

Issue - State: closed - Opened by cyrus- about 8 years ago - 2 comments
Labels: camera-ready

#14 - Rule numbers for rules in Figure 11

Issue - State: closed - Opened by cyrus- about 8 years ago
Labels: camera-ready

#13 - mention standard dynamics

Issue - State: closed - Opened by ivoysey about 8 years ago

#12 - mention structural props

Issue - State: closed - Opened by ivoysey about 8 years ago

#11 - check details after removing next sib

Issue - State: closed - Opened by ivoysey about 8 years ago - 3 comments

#10 - Rules in example

Issue - State: closed - Opened by ivoysey about 8 years ago - 1 comment

#9 - determinism

Issue - State: closed - Opened by ivoysey about 8 years ago

#8 - fix typos from reviews

Issue - State: closed - Opened by ivoysey about 8 years ago

#7 - refactor rules

Issue - State: closed - Opened by ivoysey about 8 years ago - 3 comments

#6 - dead comment elimination

Issue - State: closed - Opened by ivoysey about 8 years ago

#5 - reachability theorem clause order

Issue - State: closed - Opened by cyrus- about 8 years ago - 1 comment

#4 - cite "Do Values Grow on Trees"

Issue - State: closed - Opened by cyrus- over 8 years ago
Labels: citations, camera-ready

#3 - theorem statement audit

Issue - State: closed - Opened by ivoysey over 8 years ago - 1 comment

#2 - explain rules column after zipper rules

Issue - State: closed - Opened by cyrus- over 8 years ago - 2 comments

#1 - deletability

Issue - State: closed - Opened by ivoysey over 8 years ago