Daniel Hillerström dhil
0 Followers · 0 Following
Repositories
1
 Projects Packages Public Activity Starred Repositories
dhil synced commits to master at dhil/phd-dissertation from mirror 2025-12-18 15:15:40 +00:00
c2d79e1d06 Fix bibliography: add missing year
47410e4d14 Fix typo in -ctrl+ rule. The delimiter is part of the reified context.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2024-10-11 19:41:58 +01:00
81a4ecec0b UNIX tutorial 2024
dhil synced commits to master at dhil/phd-dissertation from mirror 2024-02-26 09:11:57 +00:00
cafa8b1ba2 Merge branch 'master' of github.com:dhil/phd-dissertation
2e61275a5b Fix typo; fix sentence structure.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2023-09-14 09:26:27 +01:00
e90ba67a4b Update timeline
6aee80a71b Fix typo
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2023-04-12 16:56:47 +01:00
aea67c86b4 Fix typo
dhil synced commits to master at dhil/phd-dissertation from mirror 2023-02-14 15:42:55 +00:00
5ede30903f Fix typo
dhil synced commits to master at dhil/phd-dissertation from mirror 2023-02-10 15:42:55 +00:00
03b7c5b548 Fix typo. Slightly reword an awkward sentence.
dhil synced commits to master at dhil/phd-dissertation from mirror 2023-01-09 23:42:55 +00:00
7535fe7ecc Fix typos in handler typing rules in the appendix
dhil synced commits to master at dhil/phd-dissertation from mirror 2023-01-09 15:42:55 +00:00
72b54ad278 Add missing space in 'Evaluationcontexts' in Figure 3.5
01e707822f Fix typo in T-Let Figure 3.4
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-11-17 15:42:55 +00:00
2cecb13d34 Update all slides
ed634fcaa3 Update slides
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-11-16 23:42:55 +00:00
c60dc80fde Update slides
e86597f4e4 Draft lecture notes
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-11-15 23:42:55 +00:00
2b7b1df8db Merge branch 'master' of github.com:dhil/phd-dissertation
20f44ad547 Fix typo
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-11-02 23:22:55 +00:00
101ac96aa2 NU PRL slides
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-10-13 00:12:55 +01:00
e6182105de Merge branch 'master' of github.com:dhil/phd-dissertation
63fe9a738a Prepare slides for Huawei Research Centre Zurich seminar
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-07-01 07:48:15 +01:00
3a9394baf8 Fix a minor typo
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-05-26 23:48:15 +01:00
6193214890 Update slides
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-05-25 23:48:15 +01:00
ffe6ebd0b9 Update MSR 2022 slides
01a8a3d581 Draft MSR talk
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-03-26 06:48:15 +00:00
008e80ea67 Link to thesis.
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-03-23 22:48:15 +00:00
3276537ab1 Tweak acknowledgements
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-03-21 14:48:15 +00:00
20551152b3 Minor tweaks and typo fixes.