Commits · master · Giuseppe Castagna / occurrence-typing

12 May, 2021 3 commits
- typos · 20c7ad8f
  Giuseppe Castagna authored May 12, 2021
  
  20c7ad8f
- various modification to handle hyperlinks · 83c544d8
  Giuseppe Castagna authored May 12, 2021
  
  83c544d8
- added a way to print a generic first page footer with the date · 9747764c
  Giuseppe Castagna authored May 12, 2021
  
  9747764c
11 May, 2021 3 commits
- final touches · 94d30602
  Giuseppe Castagna authored May 11, 2021
  
  94d30602
- chapeau to section 3 · 37a871d3
  Giuseppe Castagna authored May 11, 2021
  
  37a871d3
- added paragraph on gradual typing · 04c7b218
  Giuseppe Castagna authored May 11, 2021
  
  04c7b218
10 May, 2021 2 commits
- few typos · 129254cb
  Giuseppe Castagna authored May 10, 2021
  
  129254cb
- Rework example, move fixpoint explanation to the main part and use singleton string for typeof. · 8eade7d0
  Kim Nguyễn authored May 10, 2021
  
  8eade7d0
09 May, 2021 9 commits
- corrected wrong type · 51117419
  Giuseppe Castagna authored May 09, 2021
  
  51117419
- Add Fixpoint example and fix some errors in table one. · 6660e137
  Kim Nguyễn authored May 09, 2021
  
  6660e137
- Patched fixpoint combinator · d48a9533
  Giuseppe Castagna authored May 09, 2021
  
  d48a9533
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 0af273e2
  Mickael Laurent authored May 09, 2021
  
  0af273e2
- update Case refinement rule · ccd746b4
  Mickael Laurent authored May 09, 2021
  
  ccd746b4
- typo · 3518a8fc
  Giuseppe Castagna authored May 09, 2021
  
  3518a8fc
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · ecd3bf02
  Giuseppe Castagna authored May 09, 2021
  
  ecd3bf02
- added example 12 · fd937d1d
  Giuseppe Castagna authored May 09, 2021
  
  fd937d1d
- add some precisions on a example · 6ac5773b
  Mickael Laurent authored May 09, 2021
  
  6ac5773b
08 May, 2021 1 commit
- small modifications in the conclusion · 5d6c115a
  Giuseppe Castagna authored May 08, 2021
  
  5d6c115a
07 May, 2021 3 commits
- small differences in the conclusion · 93f0e3e6
  Giuseppe Castagna authored May 07, 2021
  
  93f0e3e6
- finished example 14 · 98f0d787
  Giuseppe Castagna authored May 07, 2021
  
  98f0d787
- rewritten example14 · 4bdf9ce9
  Giuseppe Castagna authored May 07, 2021
  
  4bdf9ce9
06 May, 2021 7 commits
- typo on the name of the function example14 · acf31761
  Giuseppe Castagna authored May 06, 2021
  
  acf31761
- added sentence "whereas ..." · f6d6a371
  Giuseppe Castagna authored May 06, 2021
  
  f6d6a371
- typos · 90bd343a
  Giuseppe Castagna authored May 06, 2021
  
  90bd343a
- typos · 92917429
  Giuseppe Castagna authored May 06, 2021
  
  92917429
- made some rewording · bd9c14d6
  Giuseppe Castagna authored May 06, 2021
  
  bd9c14d6
- More commentaries on the examples. · d023dcea
  Kim Nguyễn authored May 06, 2021
  
  d023dcea
- Add 14 examples for THF10. · a7afc2f3
  Kim Nguyễn authored May 06, 2021
  
  a7afc2f3
05 May, 2021 5 commits
- typo · 3ef2ec85
  Giuseppe Castagna authored May 05, 2021
  
  3ef2ec85
- finished final revision · 73f7dcf6
  Giuseppe Castagna authored May 05, 2021
  
  73f7dcf6
- moved rule from appendix to section 4 · deafed1b
  Giuseppe Castagna authored May 05, 2021
  
  deafed1b
- more rewriting to move material from the appendix to the main text · 05e2fd1b
  Giuseppe Castagna authored May 05, 2021
  
  05e2fd1b
- moved subtyping definition · 6b4f63ef
  Giuseppe Castagna authored May 05, 2021
  
  6b4f63ef
05 Mar, 2021 1 commit
- add record example · f55f9f27
  Mickael Laurent authored Mar 05, 2021
  
  f55f9f27
22 Feb, 2021 2 commits
- changed the size of .. · 1ebe614a
  Giuseppe Castagna authored Feb 22, 2021
  
  1ebe614a
- WIP Journal version : · c6b32498
  Kim Nguyễn authored Feb 22, 2021
```
- Make all negative vertical space conditional.
- Add mention about timing in the experimental part.
```
  c6b32498
17 Feb, 2021 4 commits
- typo · 21a3e35e
  Giuseppe Castagna authored Feb 17, 2021
  
  21a3e35e
- domega changed · af47b1b9
  Giuseppe Castagna authored Feb 17, 2021
  
  af47b1b9
- affiliations · 7070ad26
  Giuseppe Castagna authored Feb 17, 2021
  
  7070ad26
- added main-elsarticle.tex · ab88865f
  Giuseppe Castagna authored Feb 17, 2021
  
  ab88865f