2021-01-14 13:40:24 (GMT)
FYI: There are a long and a short video-talk for CPP 21 about this paper available here: https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl- .
2021-01-17 14:24:49 (GMT)
:+1:
2021-01-21 6:14:30 (GMT)
See you all today on https://jitsi.mpi-klsb.mpg.de/sneeuwbal_bookclub at 15:00 (CET)!
2021-01-21 7:58:53 (GMT)
Will do my best. :) There's also a PhD defense at TUM right before.
2021-01-21 13:26:43 (GMT)
Sorry, but I will have to pass that one out... :sad:
2021-01-21 15:6:19 (GMT)
2021-01-21 15:14:2 (GMT)
Mathias Fleury said:
See you all today on https://jitsi.mpi-klsb.mpg.de/sneeuwbal_bookclub at 15:00 (CET)!
I think we need reminders the day before :tired: . I forgot about that one again…
2021-01-21 15:15:58 (GMT)
I am going to do that next time! thanks for the information.