Commits · cd092114774c08a4c8fc3b89d65e4e1a3da73fdc · gradual-typing / sgdt

Oct 29, 2018
- author-year citations are required :/ · cd092114
  Max New authored 6 years ago
  
  cd092114
- Merge branch 'master' of github.ccs.neu.edu:coqatoos/cbv-gradual-type-theory · f713b3f6
  Amal Ahmed authored 6 years ago
  
  f713b3f6
- minor edits · bcd11009
  Amal Ahmed authored 6 years ago
  
  bcd11009
- stub acks · 74ac4af8
  Dan Licata authored 6 years ago
  
  74ac4af8
- rewrite agt and gradualizer comparison · 13031b74
  Max New authored 6 years ago
  
  13031b74
- fix bad macro · 48ab9777
  Max New authored 6 years ago
  
  48ab9777
- revise the lazy section · 871666ac
  Max New authored 6 years ago
  
  871666ac
- avoid "story of discovery" in dynamic type interpretation section · f3b50926
  Max New authored 6 years ago
  
  f3b50926
- add in some refs to type tags throughout · 2eeed410
  Max New authored 6 years ago
  
  2eeed410
Oct 28, 2018
- revise the "applicability" section · df7df59b
  Max New authored 6 years ago
  
  df7df59b
Oct 26, 2018
- some todos · 5dc3f565
  Max New authored 6 years ago
  
  5dc3f565
- some half-written related work stuff · 023d5b1b
  Max New authored 6 years ago
  
  023d5b1b
- laziness tweak, typo · d116a549
  Max New authored 6 years ago
  
  d116a549
- refine Degen Thiemann talk · aa8135d7
  Max New authored 6 years ago
  
  aa8135d7
- talk about laziness · 7abf86a1
  Max New authored 6 years ago
  
  7abf86a1
- make almost all of the named rules go above rather than on the side · 0597f356
  Max New authored 6 years ago
  
  0597f356
- Henglein comparison · a156cb2d
  Max New authored 6 years ago
  
  a156cb2d
Oct 25, 2018
- degen and thiemann related work · 080cbdd4
  Max New authored 6 years ago
  
  080cbdd4
- more on eager and lazy semantics in the intro · 62e96576
  Max New authored 6 years ago
  
  62e96576
- contributions, various edits · cb57f25c
  Max New authored 6 years ago
  
  cb57f25c
Oct 24, 2018
- name the rest of the rules (and the text runneth over) · 2fb22f98
  Max New authored 6 years ago
  
  2fb22f98
- todos and more names · 035a0cbf
  Max New authored 6 years ago
  
  035a0cbf
- intro tweaks · 335fd45b
  Max New authored 6 years ago
  
  335fd45b
- name some rules · 2bccd779
  Max New authored 6 years ago
  
  2bccd779
Oct 22, 2018
- fix some typos pointed out in reviews · dfe96cb3
  Max New authored 6 years ago
  
  dfe96cb3
Oct 11, 2018
- add popl revision notes · 3e100b60
  Max New authored 6 years ago
  
  3e100b60
Sep 21, 2018
- spell check response · 06147cce
  Dan Licata authored 6 years ago
  
  06147cce
- tweak first line · e3a2cdee
  Max New authored 6 years ago
  
  e3a2cdee
- more edits, made reviewers bold · aa9e2b86
  Amal Ahmed authored 6 years ago
  
  aa9e2b86
- edits to response · 8edd24be
  Amal Ahmed authored 6 years ago
  
  8edd24be
- more response edits (900 still) · 693dc0bf
  Max New authored 6 years ago
  
  693dc0bf
- edit response (900 words rn) · f214f14b
  Max New authored 6 years ago
  
  f214f14b
- response · e702347a
  Dan Licata authored 6 years ago
  
  e702347a
- add response about eta ordering · 4052cd7f
  Max New authored 6 years ago
  
  4052cd7f
- extend rebuttal · f6ed4b96
  Max New authored 6 years ago
  
  f6ed4b96
Sep 20, 2018
- start popl reviews · 3d521ac3
  Max New authored 6 years ago
  
  3d521ac3
Jul 25, 2018
- some thoughts on polymorphism · 3ca81af2
  Max New authored 6 years ago
  
  3ca81af2
Jul 12, 2018
- edit the rest · f40838b6
  Max New authored 6 years ago
  
  f40838b6
- section 3, 4 edits · 57743bb6
  Max New authored 6 years ago
  
  57743bb6
- section 2 edits · d9f2cdd7
  Max New authored 6 years ago
  
  d9f2cdd7