POTTIER Francois (59fa8f0e) at 27 Feb 22:45
add PDF of dissertation
Jacques-Henri Jourdan (452c1624) at 24 Feb 10:44
Merge branch 'dissertation'
... and 16 more commits
Jacques-Henri Jourdan (a84ed7c9) at 16 Jun 17:07
...
Jacques-Henri Jourdan (320ec24c) at 16 Jun 08:55
Talk @ pldi
Glen Mével (c36cbe8d) at 10 Jun 21:07
small fixes to VOCAL slides
Glen Mével (bf51fe70) at 10 Jun 20:05
add ICFP21 slides
Glen Mével (39d134c5) at 20 May 14:40
remove useless hypothesis (seen ∅) from adequacy theorem
Glen Mével (b9621273) at 27 Apr 13:57
generalize escrows to subjective tokens
Glen Mével (bf156388) at 29 Aug 18:27
ICFP21 paper: final published version
Jacques-Henri Jourdan (05bb9eeb) at 22 Jul 19:06
Ajout de tous les DOI.
Jacques-Henri Jourdan (e063582d) at 22 Jul 18:18
Changements pour la version finale finale ICFP.
Jacques-Henri Jourdan (ff0a1245) at 03 Jul 12:11
Fix.
Glen Mével (ff0666e6) at 03 Jul 12:09
ICFP21 paper: cosmetics for a multiline formula
Jacques-Henri Jourdan (23142e4b) at 03 Jul 11:55
Fix text in margins.
Glen Mével (3aa7593e) at 03 Jul 02:58
ICFP21 artifact: adapt base name of artifact for final submission v...
Glen Mével (0d860ddb) at 03 Jul 02:49
small cleanup
Glen Mével (d4d9c914) at 03 Jul 01:29
ICFP21 paper: tweak space between subfigures
Glen Mével (01460ddf) at 03 Jul 01:14
ICFP21 paper: tweak figures to avoid running into margin