Commits · a2976add3023018514446257b42c58249677c4a4 · gradual-typing / sgdt

Feb 01, 2020
- 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
- migrate to jfp-paper/jfp-gtt.tex · cbd0cdd1
  Max New authored 5 years ago
  
  cbd0cdd1
- Revert "start adding recursive value types" · bc20b219
  Max New authored 5 years ago
  
  This reverts commit 528a54c6.
  bc20b219
Jan 06, 2020
- include defs! · b0840d3e
  Max New authored 5 years ago
  
  b0840d3e
- some more cbv gtt · e77e255a
  Max New authored 5 years ago
  
  e77e255a
Jan 03, 2020
- some translation · 71708713
  Max New authored 5 years ago
  
  71708713
- cbv function uniqueness proof · 8fcce470
  Max New authored 5 years ago
  
  8fcce470
- penn talk update · 3de886f0
  Max New authored 5 years ago
  
  3de886f0
- init jfp · 85461880
  Max New authored 5 years ago
  
  85461880
Jun 19, 2019
- add penn talk · e314d8c7
  Max New authored 5 years ago
  
  e314d8c7
Apr 04, 2019
- write up my gradual type theory talk notes · 7edc94a2
  Max New authored 5 years ago
  
  7edc94a2
Mar 19, 2019
- talk done · 7be98f42
  Max New authored 6 years ago
  
  7be98f42
Mar 15, 2019
- examples · f22fa8f6
  Max New authored 6 years ago
  
  f22fa8f6
Mar 14, 2019
- outline of talk on monday · 13ad35a7
  Max New authored 6 years ago
  
  13ad35a7
Feb 23, 2019
- start adding recursive value types · 528a54c6
  Max New authored 6 years ago
  
  528a54c6
Feb 13, 2019
- show how recursive types work as least pre-fixed points · 25a30f57
  Max New authored 6 years ago
  
  25a30f57
Feb 12, 2019
- some notes on extending GTT with recursive types · 93199cbc
  Max New authored 6 years ago
  
  93199cbc
Jan 17, 2019
- final version of talk · c4216681
  Max New authored 6 years ago
  
  c4216681
- probably final slides · caeeb053
  Max New authored 6 years ago
  
  caeeb053
Jan 16, 2019
- checkin for saefty · 3e3acf2a
  Max New authored 6 years ago
  
  3e3acf2a
Jan 12, 2019
- checkin slides just in case · 1b8dadef
  Max New authored 6 years ago
  
  1b8dadef