Commits · 36f6184fef4dd6c218ed005e62a9008f861d20da · gradual-typing / sgdt

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