Commits · 45a9c123d52b3abea24005c07a455c8147e32c1d · gradual-typing / sgdt

Dec 16, 2020
- almost all of lr section · 45a9c123
  Max S. New authored 4 years ago
  
  45a9c123
- finish updates to one of the sections at least :) · 6c24b184
  Max S. New authored 4 years ago
  
  6c24b184
- more slog · 0496426b
  Max S. New authored 4 years ago
  
  0496426b
- more changes · ebe7623f
  Max S. New authored 4 years ago
  
  ebe7623f
Dec 15, 2020
- section 2 fixes · 1e8efcd9
  Max S. New authored 4 years ago
  
  1e8efcd9
Dec 14, 2020
- more section 2 · 81d9b2b2
  Max S. New authored 4 years ago
  
  81d9b2b2
Dec 08, 2020
- some intro changes · 312affc1
  Max S. New authored 4 years ago
  
  312affc1
Sep 08, 2020
- jfp reviews · cbcbb255
  Max S. New authored 4 years ago
  
  cbcbb255
Feb 01, 2020
- add conflict of interest thing for the jfp submission · 8502a429
  Max New authored 5 years ago
  
  8502a429
- fix the off the page overfull hboxes in the supp · f64ab7ed
  Max New authored 5 years ago
  
  f64ab7ed
- spell check · 29ca52ff
  Max New authored 5 years ago
  
  29ca52ff
- update proofs using upcast/downcast lemmas, add new contributions · 25d8205f
  Max New authored 5 years ago
  
  25d8205f
- get references right in the supp, say supp not extended version · 8d544631
  Max New authored 5 years ago
  
  8d544631
- dynamism to precision · 1641f197
  Max New authored 5 years ago
  
  1641f197
- finish supp · 0d7bbc5a
  Max New authored 5 years ago
  
  0d7bbc5a
- supp for decomplexification · 36f6184f
  Max New authored 5 years ago
  
  36f6184f
- two sections of the supp · 06958125
  Max New authored 5 years ago
  
  06958125
- fix overflows, broken refs, broken cites · 9e71839a
  Max New authored 5 years ago
  
  9e71839a
- delete some old comments · f364b4e1
  Max New authored 5 years ago
  
  f364b4e1
- embiggen the discussion section · 4c67c4ec
  Max New authored 5 years ago
  
  4c67c4ec
- embiggen the decomplexification and logical relation sections · a2976add
  Max New authored 5 years ago
  
  a2976add
Jan 31, 2020
- embiggen the gtt to cbpv section · 1ce37f50
  Max New authored 5 years ago
  
  1ce37f50
- fix some space stuff, use overlines in the cast lemmas · 279f6c7e
  Max New authored 5 years ago
  
  279f6c7e
- Merge branch 'master' of github.ccs.neu.edu:coqatoos/cbv-gradual-type-theory · 62903855
  Amal Ahmed authored 5 years ago
  
  62903855
- intro edits · c2cfe59f
  Amal Ahmed authored 5 years ago
  
  c2cfe59f
- the cbv to gtt section · 014f8eda
  Max New authored 5 years ago
  
  014f8eda
- finish updates on sec 3 (biggest changes) · 147eb927
  Max New authored 5 years ago
  
  147eb927
- Merge branch 'master' of github.ccs.neu.edu:coqatoos/cbv-gradual-type-theory · 47b3a78e
  Amal Ahmed authored 5 years ago
  
  47b3a78e
- intro edits · c573a92b
  Amal Ahmed authored 5 years ago
  
  c573a92b
- move stuff around, finish least dyn subsection · c846b3d6
  Max New authored 5 years ago
  
  c846b3d6
- Merge branch 'master' of github.ccs.neu.edu:coqatoos/cbv-gradual-type-theory · 54b03ebd
  Amal Ahmed authored 5 years ago
  
  54b03ebd
- intro edits · 7ef2af5c
  Amal Ahmed authored 5 years ago
  
  7ef2af5c
Jan 30, 2020
- checkin · 5c056c65
  Max New authored 5 years ago
  
  5c056c65
- expanding figures · 46a4d010
  Max New authored 5 years ago
  
  46a4d010
- fix bibliography issues · 26a88f89
  Max New authored 5 years ago
  
  26a88f89
Jan 10, 2020
- very little · e837b304
  Max New authored 5 years ago
  
  e837b304
Jan 08, 2020
- finish the cbv to gtt proofs · 9966ab25
  Max New authored 5 years ago
  
  9966ab25
- more proofs, including function cast reduction step · e2ac53c8
  Max New authored 5 years ago
  
  e2ac53c8
- cbv syntax, op semantics, translation · 257556f0
  Max New authored 5 years ago
  
  257556f0
Jan 07, 2020
- add jfp bib · cc2adbc8
  Max New authored 5 years ago
  
  cc2adbc8