Commits · 77f14f31de0f4eee1874a97442d420f9ae9c8863 · gradual-typing / sgdt

Jan 26, 2024
- 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
- describe Kleisli action on squares · 990d56cc
  Max New authored 1 year ago
  
  990d56cc
- work on abstract model constructions · aa3a1c79
  Eric Giovannini authored 1 year ago
  
  aa3a1c79
- update definition of abstract model · 6f4e6e61
  Eric Giovannini authored 1 year ago
  
  6f4e6e61
- separately functorial actions of CBPV type constructors on Kleisli arrows · 57ac9fc0
  Max New authored 1 year ago
  
  57ac9fc0
- some intro work and add macros for comments · 33b0529b
  Max New authored 1 year ago
  
  33b0529b
Jan 18, 2024
- begin appendix · 08529b55
  Eric Giovannini authored 1 year ago
  
  08529b55
- begin discussion section · bcac2b02
  Eric Giovannini authored 1 year ago
  
  bcac2b02
- begin section on concrete model · c61a9523
  Eric Giovannini authored 1 year ago
  
  c61a9523
- begin discussion of abstract model constructions · e4c07041
  Eric Giovannini authored 1 year ago
  
  e4c07041
- add some prose in terms.tex · 24572411
  Eric Giovannini authored 1 year ago
  
  24572411
- changes to technical background · dae6e202
  Eric Giovannini authored 1 year ago
  
  dae6e202
- changes to ordering.tex · 2d17295b
  Eric Giovannini authored 1 year ago
  
  2d17295b
- add a citation in the intro · da661112
  Eric Giovannini authored 1 year ago
  
  da661112
- update definitions · 961163c2
  Eric Giovannini authored 1 year ago
  
  961163c2
Jan 13, 2024
- rename "double poset" to "predomain" · 49946835
  Eric Giovannini authored 1 year ago
  
  49946835
- work on section on abstract categorical models · 2c142600
  Eric Giovannini authored 1 year ago
  
  2c142600
- changes to term precision syntax + semantics · 3ff6aaa6
  Eric Giovannini authored 1 year ago
  
  3ff6aaa6
- changes to term syntax + semantics · 1d11043f
  Eric Giovannini authored 1 year ago
  
  1d11043f
- remove section on topos of trees model · 1fe7e8e8
  Eric Giovannini authored 1 year ago
  
  1fe7e8e8
- updates to definitions file · 1d62639d
  Eric Giovannini authored 1 year ago
  
  1d62639d
Dec 27, 2023
- lics review format · 3ce689e0
  Max New authored 1 year ago
  
  3ce689e0
- lics format · 3c982338
  Max New authored 1 year ago
  
  3c982338
Dec 09, 2023
- more work on abstract categorical model · f3f8a389
  Eric Giovannini authored 1 year ago
  
  f3f8a389