Commits · master · Giuseppe Castagna / occurrence-typing

19 Oct, 2021 2 commits
- fix typecase semantics · fcfa4e00
  Mickael Laurent authored Oct 19, 2021
  
  fcfa4e00
- typo · f0233f9f
  Mickael Laurent authored Oct 19, 2021
  
  f0233f9f
18 Oct, 2021 3 commits
- typo · 2fffd1fd
  Mickael Laurent authored Oct 18, 2021
  
  2fffd1fd
- write valsemantic in paper instead of refering to appendix · aecc0a4a
  Mickael Laurent authored Oct 18, 2021
  
  aecc0a4a
- fix typecase semantics · 4e1e83e5
  Mickael Laurent authored Oct 18, 2021
  
  4e1e83e5
16 Oct, 2021 1 commit
- typos · 4233e256
  Giuseppe Castagna authored Oct 16, 2021
  
  4233e256
01 Oct, 2021 6 commits
- added submitted revised version · 4769296a
  Giuseppe Castagna authored Oct 01, 2021
  
  4769296a
- added positions · 6a429edd
  Giuseppe Castagna authored Oct 01, 2021
  
  6a429edd
- typos · 80d400e2
  Giuseppe Castagna authored Oct 01, 2021
  
  80d400e2
- Typos. · dab009ac
  Kim Nguyễn authored Oct 01, 2021
  
  dab009ac
- Put appropriate answer. · a4b9a344
  Kim Nguyễn authored Oct 01, 2021
  
  a4b9a344
- rewritten entry biblio · 39d1d5f1
  Giuseppe Castagna authored Oct 01, 2021
  
  39d1d5f1
30 Sep, 2021 7 commits
- typo · 0d989fb9
  Mickael Laurent authored Sep 30, 2021
  
  0d989fb9
- added comment · 2a148d44
  Giuseppe Castagna authored Sep 30, 2021
  
  2a148d44
- typos · 7d2aa75a
  Giuseppe Castagna authored Sep 30, 2021
  
  7d2aa75a
- Add comparison for paths. · 113291fc
  Kim Nguyễn authored Sep 30, 2021
  
  113291fc
- Removed tags. Removed gradual from related. · 2a63b4cb
  Victor Lanvin authored Sep 30, 2021
  
  2a63b4cb
- added comment · 4efc5cfd
  Giuseppe Castagna authored Sep 30, 2021
  
  4efc5cfd
- added placeholder · 12d4f918
  Giuseppe Castagna authored Sep 30, 2021
  
  12d4f918
29 Sep, 2021 8 commits
- typos · cba64761
  Giuseppe Castagna authored Sep 29, 2021
  
  cba64761
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 400077b7
  Giuseppe Castagna authored Sep 29, 2021
  
  400077b7
- typos · 4433f062
  Giuseppe Castagna authored Sep 29, 2021
  
  4433f062
- Fix sentence relating our work and refinement types. · 8814e56c
  Kim Nguyễn authored Sep 29, 2021
  
  8814e56c
- Fix references to n_o = 1 · a322205e
  Kim Nguyễn authored Sep 29, 2021
  
  a322205e
- typos · 6e33fc02
  Giuseppe Castagna authored Sep 29, 2021
  
  6e33fc02
- typos · 53826a2d
  Giuseppe Castagna authored Sep 29, 2021
  
  53826a2d
- Update related (connection between selfification and our work). · d4f84ee5
  Kim Nguyễn authored Sep 29, 2021
```
Update practical (mentions n0=1 for our examples).
```
  d4f84ee5
28 Sep, 2021 4 commits
- typos · a26e7df9
  Giuseppe Castagna authored Sep 28, 2021
  
  a26e7df9
- typos · da6baca7
  Giuseppe Castagna authored Sep 28, 2021
  
  da6baca7
- typos · 2fb410b1
  Giuseppe Castagna authored Sep 28, 2021
  
  2fb410b1
- typos · 7c89ac87
  Giuseppe Castagna authored Sep 28, 2021
  
  7c89ac87
27 Sep, 2021 2 commits
- Reworked the related work section. · f8de7536
  Kim Nguyễn authored Sep 27, 2021
  
  f8de7536
- Add related work on intersection + refinement types. · da876c60
  Kim Nguyễn authored Sep 27, 2021
  
  da876c60
24 Sep, 2021 7 commits
- typo · fce00ac6
  Giuseppe Castagna authored Sep 24, 2021
  
  fce00ac6
- typo · 00aa768d
  Giuseppe Castagna authored Sep 24, 2021
  
  00aa768d
- typo · 0bc84c09
  Giuseppe Castagna authored Sep 24, 2021
  
  0bc84c09
- typo · 7bb4f0a7
  Giuseppe Castagna authored Sep 24, 2021
  
  7bb4f0a7
- typo · 1cfec5a7
  Giuseppe Castagna authored Sep 24, 2021
  
  1cfec5a7
- typo · b7536bf7
  Giuseppe Castagna authored Sep 24, 2021
  
  b7536bf7
- finished revision (for me) · 91a1fc2d
  Giuseppe Castagna authored Sep 24, 2021
  
  91a1fc2d