Commits · b2ea3cfc3bc0b54a733318bd7cde55a68b4113ef · Giuseppe Castagna / occurrence-typing

26 Feb, 2020 2 commits
- Included algorithm.tex · b2ea3cfc
  Giuseppe Castagna authored Feb 26, 2020
  
  b2ea3cfc
- Moved section 2.5 in a separated file algorithm.tex and saved the · 509c3cee
  Giuseppe Castagna authored Feb 26, 2020
```
"POPL" version before removing type schemes
```
  509c3cee
25 Feb, 2020 6 commits
- add some explanations in the appendix · a0b39865
  Mickael Laurent authored Feb 25, 2020
  
  a0b39865
- proofs for the system without type schemes · ddb415d7
  Mickael Laurent authored Feb 25, 2020
  
  ddb415d7
- introduce type shcemes in the proofs (in progress) · d81024c4
  Mickael Laurent authored Feb 25, 2020
  
  d81024c4
- Merge branch 'master' of https://gitlab.math.univ-paris-diderot.fr/beppe/occurrence-typing · 80385819
  Mickael Laurent authored Feb 25, 2020
  
  80385819
- introduce type shcemes in the proofs (in progress) · 9ed19474
  Mickael Laurent authored Feb 25, 2020
  
  9ed19474
- revised introduction: · 9e0ca4a8
  Giuseppe Castagna authored Feb 25, 2020
```
 - revised so that type schemes are in the appendix
 - added a list of contributions
 - stressed type inference
 - added enumitem.sty (latest version)
 - added a TODO.txt file with modification to do
```
  9e0ca4a8
12 Feb, 2020 8 commits
- Merge branch 'master' of https://gitlab.math.univ-paris-diderot.fr/beppe/occurrence-typing · 73e043ca
  Mickael Laurent authored Feb 12, 2020
  
  73e043ca
- typos · 307cd361
  Mickael Laurent authored Feb 12, 2020
  
  307cd361
- typo · 221ec667
  Giuseppe Castagna authored Feb 12, 2020
  
  221ec667
- last pass · 2179a668
  Giuseppe Castagna authored Feb 12, 2020
  
  2179a668
- Typos + rewording in some places. · 15c99916
  Kim Nguyễn authored Feb 12, 2020
  
  15c99916
- more · 80c23046
  Giuseppe Castagna authored Feb 12, 2020
  
  80c23046
- added title · 623be6ab
  Giuseppe Castagna authored Feb 12, 2020
  
  623be6ab
- new version · 61c4ba05
  Giuseppe Castagna authored Feb 12, 2020
  
  61c4ba05
11 Feb, 2020 10 commits
- Avec le fichier .bib · ad8d1bea
  Kim Nguyễn authored Feb 11, 2020
  
  ad8d1bea
- Ajout biblio. · 7971374d
  Kim Nguyễn authored Feb 11, 2020
  
  7971374d
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 51edc655
  Giuseppe Castagna authored Feb 11, 2020
  
  51edc655
- ended explaination · 7c8c08b8
  Giuseppe Castagna authored Feb 11, 2020
  
  7c8c08b8
- Ajout plan année 1/année 2. · f13486b0
  Kim Nguyễn authored Feb 11, 2020
  
  f13486b0
- Ajout impact industriel. · 9f36598b
  Kim Nguyễn authored Feb 11, 2020
  
  9f36598b
- WIP intro. · ba4a816e
  Kim Nguyễn authored Feb 11, 2020
  
  ba4a816e
- first draft · 0f48cd73
  Giuseppe Castagna authored Feb 11, 2020
  
  0f48cd73
- Ajout sujet mickael. · d547b55d
  Kim Nguyễn authored Feb 11, 2020
  
  d547b55d
- rewording · 8a1a86af
  Giuseppe Castagna authored Feb 11, 2020
  
  8a1a86af
15 Oct, 2019 1 commit
- added late review · dfbe95ce
  Giuseppe Castagna authored Oct 15, 2019
  
  dfbe95ce
14 Oct, 2019 1 commit
- added line for PLDI formatting · 655ee5d8
  Giuseppe Castagna authored Oct 14, 2019
  
  655ee5d8
18 Sep, 2019 12 commits
- final strikes back? · 9c1632ab
  Giuseppe Castagna authored Sep 18, 2019
  
  9c1632ab
- final strikes back? · 220b5f00
  Giuseppe Castagna authored Sep 18, 2019
  
  220b5f00
- final? · e77ee771
  Giuseppe Castagna authored Sep 18, 2019
  
  e77ee771
- bla · f3b321be
  Giuseppe Castagna authored Sep 18, 2019
  
  f3b321be
- word saving · 6574eabc
  Giuseppe Castagna authored Sep 18, 2019
  
  6574eabc
- bla · c782d366
  Giuseppe Castagna authored Sep 18, 2019
  
  c782d366
- update · 0e052131
  Giuseppe Castagna authored Sep 18, 2019
  
  0e052131
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 672d786a
  Giuseppe Castagna authored Sep 18, 2019
  
  672d786a
- new version of rebuttal · 954b5363
  Giuseppe Castagna authored Sep 18, 2019
  
  954b5363
- Add html and js files generated from examples.ts · b37a18b5
  Kim Nguyễn authored Sep 18, 2019
  
  b37a18b5
- Add a readme note at the top of examples.ts. · b723c50d
  Kim Nguyễn authored Sep 18, 2019
  
  b723c50d
- update · a4b1bf69
  Giuseppe Castagna authored Sep 18, 2019
  
  a4b1bf69