Daniel Hillerström
c2d79e1d06
Fix bibliography: add missing year
2025-12-18 14:08:13 +00:00
Daniel Hillerström
47410e4d14
Fix typo in -ctrl+ rule. The delimiter is part of the reified context.
2025-12-18 14:07:59 +00:00
81a4ecec0b
UNIX tutorial 2024
2024-10-11 15:45:34 +02:00
cafa8b1ba2
Merge branch 'master' of github.com:dhil/phd-dissertation
2024-02-26 09:51:21 +01:00
2e61275a5b
Fix typo; fix sentence structure.
...
This commit fixes a typo in the type signature of `init` (thanks to
Ramsay Carslaw for spotting it). This commit also structures the last
sentence of Section 2.7 to read slightly better.
2024-02-26 09:50:56 +01:00
e90ba67a4b
Update timeline
2023-09-14 09:22:21 +02:00
6aee80a71b
Fix typo
2023-09-14 09:14:29 +02:00
aea67c86b4
Fix typo
2023-04-12 14:55:37 +02:00
Daniel Hillerström
5ede30903f
Fix typo
2023-02-14 10:59:29 +01:00
Daniel Hillerström
03b7c5b548
Fix typo. Slightly reword an awkward sentence.
2023-02-10 14:31:37 +01:00
7535fe7ecc
Fix typos in handler typing rules in the appendix
2023-01-09 17:00:38 +00:00
72b54ad278
Add missing space in 'Evaluationcontexts' in Figure 3.5
2023-01-09 14:45:32 +00:00
01e707822f
Fix typo in T-Let Figure 3.4
2023-01-09 14:42:09 +00:00
2cecb13d34
Update all slides
2022-11-17 15:05:18 +00:00
ed634fcaa3
Update slides
2022-11-17 11:10:29 +00:00
c60dc80fde
Update slides
2022-11-16 23:42:00 +00:00
e86597f4e4
Draft lecture notes
2022-11-16 22:02:05 +00:00
2b7b1df8db
Merge branch 'master' of github.com:dhil/phd-dissertation
2022-11-15 18:01:32 +00:00
20f44ad547
Fix typo
2022-11-15 18:01:26 +00:00
101ac96aa2
NU PRL slides
2022-11-02 15:45:00 +00:00
e6182105de
Merge branch 'master' of github.com:dhil/phd-dissertation
2022-10-12 23:56:05 +01:00
63fe9a738a
Prepare slides for Huawei Research Centre Zurich seminar
2022-10-12 23:55:57 +01:00
3a9394baf8
Fix a minor typo
2022-07-01 01:19:43 +01:00
6193214890
Update slides
2022-05-26 18:27:32 +01:00
ffe6ebd0b9
Update MSR 2022 slides
2022-05-25 22:29:14 +01:00
01a8a3d581
Draft MSR talk
2022-05-25 22:24:31 +01:00
008e80ea67
Link to thesis.
...
Update README to reflect the structure of the revised thesis.
2022-03-26 00:18:14 +00:00
3276537ab1
Tweak acknowledgements
2022-03-23 14:56:41 +00:00
20551152b3
Minor tweaks and typo fixes.
2022-03-21 14:12:59 +00:00
8679803146
Fix typo
2022-03-18 14:49:58 +00:00
d7bd881a00
Update latest draft
2021-12-22 16:55:21 +00:00
f5685fe70d
Chapter 8
2021-12-22 16:48:14 +00:00
7f3503153f
Minor fixes
2021-12-22 16:27:14 +00:00
40c6505ae2
Simplify
2021-12-22 16:15:16 +00:00
b897751a38
Note on reduction relation
2021-12-22 16:13:22 +00:00
3e1bbf3206
Fix todo
2021-12-22 16:10:51 +00:00
40948507e9
CPS outline
2021-12-22 16:08:08 +00:00
2a800f07e2
WIP
2021-12-22 15:58:26 +00:00
d3921f24e3
WIP
2021-12-22 14:23:57 +00:00
7063acb4e7
Related work
2021-12-21 16:14:59 +00:00
c9ff1d9af8
Chapter 3
2021-12-21 16:05:12 +00:00
fff15c9c83
Section 2.6 and 2.7
2021-12-20 23:29:27 +00:00
a24a33dcf8
Section 2.5
2021-12-20 16:08:32 +00:00
6c128a1181
Section 2.4
2021-12-20 13:37:07 +00:00
98784c59ab
Section 2.3
2021-12-17 17:57:31 +00:00
6492391ed4
Section 2.2
2021-12-17 17:23:01 +00:00
cea34c85e1
Section 2.1
2021-12-17 16:42:02 +00:00
40b1144d9b
Chapter 2 outline, relation to prior work, and terminology.
2021-12-17 01:29:57 +00:00
3067bfb939
fix chapter 2 intro
2021-12-13 22:55:52 +00:00
83b5f7db99
Start implementing the corrections.
2021-11-24 15:20:50 +00:00
