Commits · 47b3a78e8c8cbab9657c46f49d6b5b02ebcafdb8 · gradual-typing / sgdt

Jan 31, 2020
- 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
- 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
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
- init jfp · 85461880
  Max New authored 5 years ago
  
  85461880