Commits · 47373fb1c680552a4e44aab1103c6b0a8c789af5 · gradual-typing / sgdt

Jul 11, 2018
- made it fit, long version may be broken, will fix in a bit · 47373fb1
  Dan Licata authored 6 years ago
  
  47373fb1
Jul 10, 2018
- sec 7 · 043bf8b4
  Dan Licata authored 6 years ago
  
  043bf8b4
- cut theorem statements from sec 5 · eab24fde
  Dan Licata authored 6 years ago
  
  eab24fde
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · 448eea3a
  Dan Licata authored 6 years ago
  
  448eea3a
- cites and edits · d0f1c807
  Dan Licata authored 6 years ago
  
  d0f1c807
- Blain not Blaine · f987c7e1
  Max New authored 6 years ago
  
  f987c7e1
- some shortening/editing of lr section · 77aaa412
  Max New authored 6 years ago
  
  77aaa412
- edits in 2 · 3703c0f3
  Dan Licata authored 6 years ago
  
  3703c0f3
- edits · d65d1ef9
  Dan Licata authored 6 years ago
  
  d65d1ef9
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · 058492b6
  Dan Licata authored 6 years ago
  
  058492b6
- cites in intro · 3c89b498
  Dan Licata authored 6 years ago
  
  3c89b498
- remove overly long/esoteric related work · 8b6ac371
  Max New authored 6 years ago
  
  8b6ac371
- remove appendices · 104c3561
  Max New authored 6 years ago
  
  104c3561
- lost a comment · 40d4468b
  Dan Licata authored 6 years ago
  
  40d4468b
- more condensing · 30ca42bd
  Dan Licata authored 6 years ago
  
  30ca42bd
Jul 09, 2018
- cut more · d50d6834
  Dan Licata authored 6 years ago
  
  d50d6834
- compress 2 and 3 · ef269880
  Dan Licata authored 6 years ago
  
  ef269880
- intro · 31596326
  Dan Licata authored 6 years ago
  
  31596326
- abstract · 34224a0c
  Dan Licata authored 6 years ago
  
  34224a0c
- fix long build · e31c7a19
  Dan Licata authored 6 years ago
  
  e31c7a19
- compression in 4 and 5 · fd52062b
  Dan Licata authored 6 years ago
  
  fd52062b
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · 80660403
  Dan Licata authored 6 years ago
  
  80660403
- compression in 2 and 3 · 544bca41
  Dan Licata authored 6 years ago
  
  544bca41
- Merge branch 'master' of github.ccs.neu.edu:coqatoos/cbv-gradual-type-theory · 4f9170f8
  Amal Ahmed authored 6 years ago
  
  4f9170f8
- some bib entries, bit on more intro · 5dfb9ec1
  Amal Ahmed authored 6 years ago
  
  5dfb9ec1
- edits · 5a6026a2
  Dan Licata authored 6 years ago
  
  5a6026a2
- edits · aec1a920
  Dan Licata authored 6 years ago
  
  aec1a920
- short version of sec 5 · f18da932
  Dan Licata authored 6 years ago
  
  f18da932
- typos · 8feed6ad
  Dan Licata authored 6 years ago
  
  8feed6ad
- merge · e88526c9
  Dan Licata authored 6 years ago
  
  e88526c9
- condensed version of 4, and more signposting in the long version, no technical changes · ecce87e9
  Dan Licata authored 6 years ago
  
  ecce87e9
- smallified lots of math · 86c1cf30
  Amal Ahmed authored 6 years ago
  
  86c1cf30
- typos · b2398e92
  Amal Ahmed authored 6 years ago
  
  b2398e92
- figures smaller · 8cf7e913
  Amal Ahmed authored 6 years ago
  
  8cf7e913
- condense short version of 4 up to but not including the contract translation section · c5af8eaa
  Dan Licata authored 6 years ago
  
  c5af8eaa
Jul 08, 2018
- edit · a7536217
  Dan Licata authored 6 years ago
  
  a7536217
- cut some stuff from figures · 8f95b15a
  Dan Licata authored 6 years ago
  
  8f95b15a
- CBV function types · ce4da949
  Dan Licata authored 6 years ago
  
  ce4da949
- sec 3 · fbfb53e8
  Dan Licata authored 6 years ago
  
  fbfb53e8
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · 7bf363f7
  Dan Licata authored 6 years ago
  
  7bf363f7