Commits · 107bb82c3dfc7c5a7d0e95c363e6be14b6fce57c · gradual-typing / sgdt

Jan 08, 2021
- submitted · 7efc2027
  Max S. New authored 4 years ago
  
  7efc2027
Jan 04, 2021
- section 3 updates · 9ced4f3a
  Max S. New authored 4 years ago
  
  9ced4f3a
Dec 15, 2020
- section 2 fixes · 1e8efcd9
  Max S. New authored 4 years ago
  
  1e8efcd9
Feb 01, 2020
- fix overflows, broken refs, broken cites · 9e71839a
  Max New authored 5 years ago
  
  9e71839a
Jan 31, 2020
- finish updates on sec 3 (biggest changes) · 147eb927
  Max New authored 5 years ago
  
  147eb927
Jan 30, 2020
- checkin · 5c056c65
  Max New authored 5 years ago
  
  5c056c65
Jan 08, 2020
- 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
- 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