Commits · 93199cbcd796eca7e6bc2905974eb83b099041c6 · gradual-typing / sgdt

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
Nov 21, 2018
- fix bad rebase · 72871e8e
  Max New authored 6 years ago
  
  72871e8e
- update acmart, use correct titlecase · f3297f9d
  Max New authored 6 years ago
  
  f3297f9d
Nov 09, 2018
- camera ready stuff · 8b42a825
  Max New authored 6 years ago
  
  8b42a825
- long title · f9e87d7d
  Max New authored 6 years ago
  
  f9e87d7d
Nov 06, 2018
- some spacey stuff for the long version · 64021bd5
  Max New authored 6 years ago
  
  64021bd5
Nov 05, 2018
- add in copyright and classification stuff, hack one sentence to get it · ae86766d
  Max New authored 6 years ago
  
  in perfect space
  ae86766d
- more space hackery. No more overfull hboxes · 44f1ed2e
  Max New authored 6 years ago
  
  44f1ed2e
- a space hack · 3ec5e02e
  Max New authored 6 years ago
  
  3ec5e02e
- long version stuff and a typo · d0de6fb8
  Max New authored 6 years ago
  
  d0de6fb8
- spell check · 9f733664
  Max New authored 6 years ago
  
  9f733664
Oct 30, 2018
- typos · d50db3de
  Dan Licata authored 6 years ago
  
  d50db3de
- add a summary of the revisions · 0d677ab6
  Max New authored 6 years ago
  
  0d677ab6
- fix the fixme, and blame soundness ref · 29c2dad5
  Max New authored 6 years ago
  
  29c2dad5
- period · 49709668
  Dan Licata authored 6 years ago
  
  49709668
- move eta paragraph earlier · 15491cfa
  Dan Licata authored 6 years ago
  
  15491cfa
- a section header, and forward reference to applicability section · 1237fd49
  Max New authored 6 years ago
  
  1237fd49
- acks and NSF grant # · 2a3e8515
  Max New authored 6 years ago
  
  2a3e8515
- minimize some of the running into the margin · f5338435
  Dan Licata authored 6 years ago
  
  f5338435
- small edits · 92f210fa
  Dan Licata authored 6 years ago
  
  92f210fa
- add references to rule names in text · 78d72e9c
  Dan Licata authored 6 years ago
  
  78d72e9c
- edits to intro, some FIXMEs left · 64833764
  Dan Licata authored 6 years ago
  
  64833764
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · 5db8faa8
  Dan Licata authored 6 years ago
  
  5db8faa8
- dot · 73cce2a0
  Dan Licata authored 6 years ago
  
  73cce2a0
Oct 29, 2018
- save some space on figures · a28b3c5b
  Max New authored 6 years ago
  
  a28b3c5b
- my acks · 77f90c20
  Max New authored 6 years ago
  
  77f90c20
- henglein tweak · 8e5bf7b3
  Max New authored 6 years ago
  
  8e5bf7b3
- small tweaks to intro, discussion · 408dd997
  Max New authored 6 years ago
  
  408dd997
- citet where appropriate · 249a83db
  Max New authored 6 years ago
  
  249a83db
- 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