Commits · master · Giuseppe Castagna / occurrence-typing

Feb 24, 2022
- added published version · 29b10d55
  Giuseppe Castagna authored 3 years ago
  
  29b10d55
Feb 18, 2022
- Ajout acknowledgement Fondation Paris-Saclay. · 489035be
  Kim Nguyễn authored 3 years ago
  
  489035be
- corrected typos found in Elsevier proofs · e34fdde5
  Giuseppe Castagna authored 3 years ago
  
  e34fdde5
Feb 04, 2022
- added formalities for Elsevier · 5a7ee822
  Giuseppe Castagna authored 3 years ago
  
  5a7ee822
- modified Highlights · 2108e15f
  Giuseppe Castagna authored 3 years ago
  
  2108e15f
- removed url lanvin · 220c82dc
  Giuseppe Castagna authored 3 years ago
  
  220c82dc
- added biblio corrected some bugs · 0b1da1b5
  Giuseppe Castagna authored 3 years ago
  
  0b1da1b5
- changed biblio · f00f4d7a
  Giuseppe Castagna authored 3 years ago
  
  f00f4d7a
Feb 03, 2022
- typos · 116f8283
  Giuseppe Castagna authored 3 years ago
  
  116f8283
- Add description of Kotlin type refinement. · b53d12be
  Kim Nguyễn authored 3 years ago
  
  b53d12be
- added missing related · 78087567
  Giuseppe Castagna authored 3 years ago
  
  78087567
- fixed typos reviews · d5a7ced7
  Giuseppe Castagna authored 3 years ago
  
  d5a7ced7
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 865974b3
  Giuseppe Castagna authored 3 years ago
  
  865974b3
- added new reviews · 5cd47cac
  Giuseppe Castagna authored 3 years ago
  
  5cd47cac
Jan 28, 2022
- small typos · 39fda7fd
  Giuseppe Castagna authored 3 years ago
  
  39fda7fd
Oct 19, 2021
- fix typecase semantics · fcfa4e00
  Mickael Laurent authored 3 years ago
  
  fcfa4e00
- typo · f0233f9f
  Mickael Laurent authored 3 years ago
  
  f0233f9f
Oct 18, 2021
- typo · 2fffd1fd
  Mickael Laurent authored 3 years ago
  
  2fffd1fd
- write valsemantic in paper instead of refering to appendix · aecc0a4a
  Mickael Laurent authored 3 years ago
  
  aecc0a4a
- fix typecase semantics · 4e1e83e5
  Mickael Laurent authored 3 years ago
  
  4e1e83e5
Oct 16, 2021
- typos · 4233e256
  Giuseppe Castagna authored 3 years ago
  
  4233e256
Oct 01, 2021
- added submitted revised version · 4769296a
  Giuseppe Castagna authored 3 years ago
  
  4769296a
- added positions · 6a429edd
  Giuseppe Castagna authored 3 years ago
  
  6a429edd
- typos · 80d400e2
  Giuseppe Castagna authored 3 years ago
  
  80d400e2
- Typos. · dab009ac
  Kim Nguyễn authored 3 years ago
  
  dab009ac
- Put appropriate answer. · a4b9a344
  Kim Nguyễn authored 3 years ago
  
  a4b9a344
- rewritten entry biblio · 39d1d5f1
  Giuseppe Castagna authored 3 years ago
  
  39d1d5f1
Sep 30, 2021
- typo · 0d989fb9
  Mickael Laurent authored 3 years ago
  
  0d989fb9
- added comment · 2a148d44
  Giuseppe Castagna authored 3 years ago
  
  2a148d44
- typos · 7d2aa75a
  Giuseppe Castagna authored 3 years ago
  
  7d2aa75a
- Add comparison for paths. · 113291fc
  Kim Nguyễn authored 3 years ago
  
  113291fc
- Removed tags. Removed gradual from related. · 2a63b4cb
  Victor Lanvin authored 3 years ago
  
  2a63b4cb
- added comment · 4efc5cfd
  Giuseppe Castagna authored 3 years ago
  
  4efc5cfd
- added placeholder · 12d4f918
  Giuseppe Castagna authored 3 years ago
  
  12d4f918
Sep 29, 2021
- typos · cba64761
  Giuseppe Castagna authored 3 years ago
  
  cba64761
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 400077b7
  Giuseppe Castagna authored 3 years ago
  
  400077b7
- typos · 4433f062
  Giuseppe Castagna authored 3 years ago
  
  4433f062
- Fix sentence relating our work and refinement types. · 8814e56c
  Kim Nguyễn authored 3 years ago
  
  8814e56c
- Fix references to n_o = 1 · a322205e
  Kim Nguyễn authored 3 years ago
  
  a322205e
- typos · 6e33fc02
  Giuseppe Castagna authored 3 years ago
  
  6e33fc02