Commits · 80660403f27fc5d5e1ecf7b1ce600eafa5e814e1 · gradual-typing / sgdt

Jul 09, 2018
- 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
- sec 3 · cb8d15a0
  Dan Licata authored 6 years ago
  
  cb8d15a0
- some section 2 edits · 6ab5c8e8
  Max New authored 6 years ago
  
  6ab5c8e8
- sec 2 · ed972332
  Dan Licata authored 6 years ago
  
  ed972332
- edits · 29ca3a8f
  Dan Licata authored 6 years ago
  
  29ca3a8f
- some notes on doing threesomes with cbpv · 4aa877cd
  Max New authored 6 years ago
  
  4aa877cd
- working on the rest of sec 2 · 57613974
  Dan Licata authored 6 years ago
  
  57613974
Jul 07, 2018
- second draft · 9d91da00
  Dan Licata authored 6 years ago
  
  9d91da00
- intro to cbpv · d9d8af47
  Dan Licata authored 6 years ago
  
  d9d8af47
- edits · 81114e58
  Dan Licata authored 6 years ago
  
  81114e58
- pass through section 7 · 256443a5
  Amal Ahmed authored 6 years ago
  
  256443a5
- merge · c270811a
  Amal Ahmed authored 6 years ago
  
  c270811a
- pass through sections 4, 5, 6 with minor edits · 5ad0a9e3
  Amal Ahmed authored 6 years ago
  
  5ad0a9e3
Jul 06, 2018
- add bib · 7d761b32
  Max New authored 6 years ago
  
  7d761b32
- editing · da77a185
  Dan Licata authored 6 years ago
  
  da77a185
- upcasts are values, etc · d2bb8e6a
  Dan Licata authored 6 years ago
  
  d2bb8e6a
- type precsion with ground types · b4cd2ad3
  Dan Licata authored 6 years ago
  
  b4cd2ad3
- shifted casts · 0901b60c
  Dan Licata authored 6 years ago
  
  0901b60c
Jul 05, 2018
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · c06ef8b8
  Dan Licata authored 6 years ago
  
  c06ef8b8
- typeset a bunch of proofs · e6b59f8f
  Dan Licata authored 6 years ago
  
  e6b59f8f
- related work: AGT and gradualizer · 04fa9a5f
  Max New authored 6 years ago
  
  04fa9a5f
- typo, longify some proofs · 55923d32
  Max New authored 6 years ago
  
  55923d32