hazelgrove hazelnut-popl17 issues

hazelgrove / hazelnut-popl17

Submission to POPL 2017

2 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Inaccuracies in the depiction of Lamdu

#58 yairchu opened 6 years ago
2
tech report

#57 ivoysey closed 7 years ago
2
update arxiv with final version

#56 cyrus- closed 7 years ago
1
Put archival copy of artifacts on university webspace

#55 cyrus- closed 7 years ago
0
author instructions

#54 ivoysey closed 7 years ago
1
style of future work section

#53 ivoysey closed 7 years ago
1
incrementalizing HZ

#52 ivoysey closed 7 years ago
0
note LCA algorithm in reachability more carefully

#51 ivoysey closed 7 years ago
1
action macro for remove ascription

#50 ivoysey closed 7 years ago
2
what is the principle?

#49 ivoysey closed 7 years ago
3
typechecker implementation

#48 ivoysey closed 7 years ago
1
no synth rule for lambda

#47 ivoysey closed 7 years ago
4
universal subsumption rule

#46 ivoysey closed 7 years ago
3
mention extension in the abstract

#45 ivoysey closed 7 years ago
0
don't overstate empirical claims

#44 ivoysey closed 7 years ago
0
extending the language from STLC

#43 ivoysey closed 7 years ago
1
incremental type and declarations

#42 ivoysey closed 7 years ago
1
polymorphism, system F, HM

#41 ivoysey closed 7 years ago
1
source language bidirectional

#40 ivoysey closed 7 years ago
2
source language design

#39 ivoysey closed 7 years ago
1
partial evaluation with holes

#38 ivoysey closed 7 years ago
3
independence of movement from typesystem

#37 ivoysey closed 7 years ago
1
cursor erasure wording

#36 ivoysey closed 7 years ago
1
sensibility and delete

#35 ivoysey closed 7 years ago
1
design choice about cursor focus

#34 ivoysey closed 7 years ago
1
rwh citations from ian's pop seminar

#33 ivoysey closed 7 years ago
3
renaming bound variables

#32 ivoysey closed 7 years ago
1
clearer discussion of exactly what each checksum bans you from getting wrong

#31 ivoysey closed 7 years ago
1
make case for usability better if we can

#30 ivoysey closed 7 years ago
1
discussion of type inference

#29 ivoysey closed 7 years ago
3
cite "synthesizer generator"

#28 ivoysey closed 7 years ago
2
cite "Semantics for structure editing environments"

#27 ivoysey closed 7 years ago
1
clarify text about YoungSeok's data

#26 cyrus- closed 7 years ago
0
acknowledgements

#25 ivoysey closed 7 years ago
2
add note about omitting triangles in HZ

#24 cyrus- closed 7 years ago
0
Cite "formal specification of a display-oriented editor"

#23 cyrus- closed 7 years ago
1
Cite "modeless structure editing" paper

#22 cyrus- closed 7 years ago
0
Can rule 26a (construct inj in synthetic position) be generalized?

#21 cyrus- closed 7 years ago
1
Non-empty holes: contrary to what the text says, this rule is clearly not necessary to state the Constructability theorem

#20 cyrus- closed 7 years ago
0
Abstract: remove the parentheses, which don't fit well in an abstract, and add a comma.

#19 cyrus- closed 7 years ago
0
"dynamically typed" vs "trivial static semantics"

#18 cyrus- closed 7 years ago
0
Update ArXiV with AE version of paper

#17 cyrus- closed 7 years ago
1
turn inj_1/inj_2 into inj_L/inj_R?

#16 cyrus- closed 7 years ago
4
there is no rule numbered 5

#15 cyrus- closed 7 years ago
2
Rule numbers for rules in Figure 11

#14 cyrus- closed 7 years ago
0
mention standard dynamics

#13 ivoysey closed 8 years ago
0
mention structural props

#12 ivoysey closed 8 years ago
0
check details after removing next sib

#11 ivoysey closed 8 years ago
3
Rules in example

#10 ivoysey closed 8 years ago
1
determinism

#9 ivoysey closed 8 years ago
0