Commits · cf85b1deb3dfab5456c5a5897222fb0a91cd9765 · gradual-typing / sgdt

Jun 30, 2018
- casts · cf85b1de
  Dan Licata authored 6 years ago
  
  cf85b1de
- characterization of casts · 0064a95f
  Dan Licata authored 6 years ago
  
  0064a95f
Jun 29, 2018
- more abstract edits · 08326a3a
  Amal Ahmed authored 6 years ago
  
  08326a3a
- abstract edits · 97550d25
  Amal Ahmed authored 6 years ago
  
  97550d25
- rearrange, write down all of the ep pair definitions · 29e969b4
  Max New authored 6 years ago
  
  29e969b4
Jun 28, 2018
- dynamic type section · fc3650bd
  Max New authored 6 years ago
  
  fc3650bd
- more dynamic type prose · 341979d9
  Max New authored 6 years ago
  
  341979d9
- edits to intro · b3f3f12a
  Amal Ahmed authored 6 years ago
  
  b3f3f12a
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · 02ea11b9
  Dan Licata authored 6 years ago
  
  02ea11b9
- lemma for upcasts · ad6b0871
  Dan Licata authored 6 years ago
  
  ad6b0871
Jun 27, 2018
- a bit of prose on the dynamic types · d79c0828
  Max New authored 6 years ago
  
  d79c0828
- talk a little about models · bd6caac1
  Max New authored 6 years ago
  
  bd6caac1
- start talkin eta · db43d0fd
  Max New authored 6 years ago
  
  db43d0fd
Jun 26, 2018
- related work on gradual session types · 9da6e89c
  Max New authored 6 years ago
  
  9da6e89c
- a new take on the beginning of the intro · 2575fea3
  Max New authored 6 years ago
  
  2575fea3
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · 7dc640ce
  Dan Licata authored 6 years ago
  
  7dc640ce
- upgrade eta for F · 5ee47891
  Dan Licata authored 6 years ago
  
  5ee47891
- prose outline · 8e67751e
  Max New authored 6 years ago
  
  8e67751e
- shorter abstract · c8782a81
  Max New authored 6 years ago
  
  c8782a81
- typeset definitions of casts · c0fdabca
  Dan Licata authored 6 years ago
  
  c0fdabca
Jun 25, 2018
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · c4dd1a22
  Dan Licata authored 6 years ago
  
  c4dd1a22
- typos · 0e6d5209
  Dan Licata authored 6 years ago
  
  0e6d5209
- proof that decomplexification preserves ltdyn · f176f5b8
  Max New authored 6 years ago
  
  f176f5b8
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · bae9bb08
  Dan Licata authored 6 years ago
  
  bae9bb08
- compact rules · bcf1b816
  Dan Licata authored 6 years ago
  
  bcf1b816
- progress on correctness of de-complexification · bc5b9fec
  Max New authored 6 years ago
  
  bc5b9fec
Jun 22, 2018
- prove complex values translate to thunkables, complex stacks to linears · b5dea144
  Max New authored 6 years ago
  
  b5dea144
- minor edits · b6f8286b
  Amal Ahmed authored 6 years ago
  
  b6f8286b
- proof outline for conservativity · 8a5def84
  Max New authored 6 years ago
  
  8a5def84
Jun 21, 2018
- start correctness of "decomplexification" using thunkable/linears · 04163875
  Max New authored 6 years ago
  
  This way should be quite easy relative to the CBPV monograph's treatment.
  04163875
- cast decomposition lemma · 865d40b2
  Max New authored 6 years ago
  
  865d40b2
- rest of axiomatic graduality cases · 7768bdf2
  Max New authored 6 years ago
  
  7768bdf2
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · f7a29e66
  Dan Licata authored 6 years ago
  
  f7a29e66
- add cast induction notes for later · 0bc8cd93
  Dan Licata authored 6 years ago
  
  0bc8cd93
Jun 20, 2018
- axiomatic graduality value type compatibility rules · 72f0d382
  Max New authored 6 years ago
  
  72f0d382
- axiomatic graduality computation type compatibility rules · a664c4d5
  Max New authored 6 years ago
  
  a664c4d5
- all ep pair cases except 1 and the base case · 9f655c0c
  Max New authored 6 years ago
  
  9f655c0c
- Merge branch 'master' of https://github.ccs.neu.edu/coqatoos/cbv-gradual-type-theory · c99b7034
  Dan Licata authored 6 years ago
  
  c99b7034
- ep pairs compose, product ep pair proof · 17f8fe12
  Max New authored 6 years ago
  
  17f8fe12
- cast reduction principles, comm conversions, + ep pair case · c5db8fd6
  Max New authored 6 years ago
  
  c5db8fd6