nuprl/tag-sound

Issues

• write a blog post

  #31 opened 6 years ago by bennn
  1

• supplement: compare to more systems

  #28 opened 6 years ago by bennn
  0

• Supplement: update theorems and proofs

  #22 opened 6 years ago by bennn
  0

• Supplement: clean up proofs about "pure static" terms

  #19 opened 6 years ago by bennn
  2

• soundness: add case for error expressions?

  #30 opened 6 years ago by bennn
  1

• Related work: blame theorem

  #26 opened 6 years ago by bennn
  1

• Clarify whats new about the theorems

  #25 opened 6 years ago by bennn
  1

• Fix jpeg, re-run benchmarks

  #24 opened 6 years ago by bennn
  0

• Appendix: revise co-natural & forgetful prose

  #23 opened 6 years ago by bennn
  0

• supplement: aesthetics

  #29 opened 6 years ago by bennn
  0

• Appendix TODOs

  #8 opened 7 years ago by bennn
  1

• Supplement: missing completion rule for subtyping

  #21 opened 6 years ago by bennn
  0

• get a diff, vs. 6.10.1

  #27 opened 6 years ago by bennn
  1

• Note other kinds of soundness

  #4 opened 7 years ago by bennn
  0

• typo: remove all the \rightarrow

  #20 opened 7 years ago by bennn
  1

• From models to implementations

  #11 opened 7 years ago by bennn
  1

• Add performance table

  #5 opened 7 years ago by bennn
  1

• Note type-based reasoning

  #6 opened 7 years ago by bennn
  1

• Note: "check" vs. dynamic typing

  #18 opened 7 years ago by bennn
  0

• Revise Sec 2

  #15 opened 7 years ago by bennn
  1

• Add table with examples

  #16 opened 7 years ago by bennn
  0

• Corollary: soundness without boundaries

  #17 opened 7 years ago by bennn
  0

• Revise introduction

  #14 opened 7 years ago by bennn
  0

• The embeddings look too similar

  #12 opened 7 years ago by bennn
  1

• Consistent notation, inside & out

  #9 opened 7 years ago by bennn
  1

• Misc. plot improvements

  #3 opened 7 years ago by bennn
  0

• Rebuild figures automatically if data changes

  #2 opened 7 years ago by bennn
  1