Commits · f6f8d7aa293fae6baf2b070e6c374b5311c632ef · gradual-typing / sgdt

Jan 27, 2024
- more space squeeze · f6f8d7aa
  Max New authored 1 year ago
  
  f6f8d7aa
- squeeze some space · 25ffe81a
  Max New authored 1 year ago
  
  25ffe81a
- editing · 33eaef71
  Eric Giovannini authored 1 year ago
  
  33eaef71
- fix adequacy in section 3 · 6cfeff6a
  Max New authored 1 year ago
  
  6cfeff6a
- Revise sections 1 and 2 · 1117a69e
  Max New authored 1 year ago
  
  1117a69e
- max appendix fix · 42fa3189
  Max New authored 1 year ago
  
  42fa3189
- fix a lot of references · 71e33ce1
  Max New authored 1 year ago
  
  71e33ce1
- small changes in adequacy proof · 08bfb781
  Eric Giovannini authored 1 year ago
  
  08bfb781
- update references · 44f3ca04
  Eric Giovannini authored 1 year ago
  
  44f3ca04
- work on proof of adequacy and move it to concrete model; work on dyn in concrete model · f4965139
  Eric Giovannini authored 1 year ago
  
  f4965139
- discussion revisions · 6bc285fb
  Max New authored 1 year ago
  
  6bc285fb
- note for Eric · 7c4abb82
  Max New authored 1 year ago
  
  7c4abb82
- syntax section · e7fb79ea
  Max New authored 1 year ago
  
  e7fb79ea
- work on discussion · 31f821d0
  Eric Giovannini authored 1 year ago
  
  31f821d0
- update some definitions in the abstract model · 8c5bad93
  Eric Giovannini authored 1 year ago
  
  8c5bad93
Jan 26, 2024
- fix trailing sentence · d6de1661
  Max New authored 1 year ago
  
  d6de1661
- discuss Siek-Chen · 54da8ccd
  Max New authored 1 year ago
  
  54da8ccd
- update discussion · 9e71c25f
  Eric Giovannini authored 1 year ago
  
  9e71c25f
- errors in the extensional model · 08fd586c
  Max New authored 1 year ago
  
  08fd586c
- remove outdated section · b8d9db7d
  Eric Giovannini authored 1 year ago
  
  b8d9db7d
- more syntax and sketch semantics in extensional model · 093a24a7
  Max New authored 1 year ago
  
  093a24a7
- update definitions · 3d9fb91a
  Eric Giovannini authored 1 year ago
  
  3d9fb91a
- updates mostly to extensional model · c17818b1
  Max New authored 1 year ago
  
  c17818b1
- work on concrete model · 77f14f31
  Eric Giovannini authored 1 year ago
  
  77f14f31
- revise discussion · 1664ad9e
  tingtind authored 1 year ago
  
  1664ad9e
- changes to categorical model · c12408c0
  Eric Giovannini authored 1 year ago
  
  c12408c0
- updates to appendix · fa5a9c09
  Eric Giovannini authored 1 year ago
  
  fa5a9c09
- more intro · b518cafe
  Max New authored 1 year ago
  
  b518cafe
- adjust outline · 25932181
  Max New authored 1 year ago
  
  25932181
- prose on cbpv models · f948baec
  Max New authored 1 year ago
  
  f948baec
Jan 25, 2024
- fix build issues, progress on CBPV semantics · 23292a06
  Max New authored 1 year ago
  
  23292a06
- discussion on adgda work · 5afdfd79
  tingtind authored 1 year ago
  
  5afdfd79
- strict and lax homomorphisms of CBPV models · dde398d2
  Max New authored 1 year ago
  
  dde398d2
Jan 24, 2024
- mostly writing updates · cd198c98
  Max New authored 1 year ago
  
  cd198c98
- work on proofs in appendix · f6f401cd
  Eric Giovannini authored 1 year ago
  
  f6f401cd
- updates to abstract categorical model section · d465e2a6
  Eric Giovannini authored 1 year ago
  
  d465e2a6
Jan 23, 2024
- correct title/authors · f2c182e2
  Max New authored 1 year ago
  
  f2c182e2
- sketchy stuff in the appendix on syntax and update to the extensional model · ff16d612
  Max New authored 1 year ago
  
  ff16d612
Jan 22, 2024
- match Eric's notation for linear morphisms · a5984baa
  Max New authored 1 year ago
  
  a5984baa
Jan 19, 2024
- add some definitions · bfb8210f
  Eric Giovannini authored 1 year ago
  
  bfb8210f