phd-dissertation

81a4ecec0b

UNIX tutorial 2024 master Daniel Hillerström 2024-10-11 15:45:34 +0200
cafa8b1ba2

Merge branch 'master' of github.com:dhil/phd-dissertation Daniel Hillerström 2024-02-26 09:51:21 +0100
2e61275a5b

Fix typo; fix sentence structure. Daniel Hillerström 2024-02-26 09:49:34 +0100
e90ba67a4b

Update timeline Daniel Hillerström 2023-09-14 09:22:21 +0200
6aee80a71b

Fix typo Daniel Hillerström 2023-09-14 09:14:29 +0200
aea67c86b4 Fix typo Daniel Hillerström 2023-04-12 14:55:34 +0200
5ede30903f Fix typo Daniel Hillerström 2023-02-14 10:59:29 +0100
03b7c5b548 Fix typo. Slightly reword an awkward sentence. Daniel Hillerström 2023-02-10 14:31:37 +0100
7535fe7ecc Fix typos in handler typing rules in the appendix Daniel Hillerström 2023-01-09 17:00:38 +0000
72b54ad278 Add missing space in 'Evaluationcontexts' in Figure 3.5 Daniel Hillerström 2023-01-09 14:45:32 +0000
01e707822f Fix typo in T-Let Figure 3.4 Daniel Hillerström 2023-01-09 14:42:09 +0000
2cecb13d34 Update all slides Daniel Hillerström 2022-11-17 15:05:18 +0000
ed634fcaa3 Update slides Daniel Hillerström 2022-11-17 11:10:29 +0000
c60dc80fde Update slides Daniel Hillerström 2022-11-16 23:42:00 +0000
e86597f4e4 Draft lecture notes Daniel Hillerström 2022-11-16 22:02:05 +0000
2b7b1df8db Merge branch 'master' of github.com:dhil/phd-dissertation Daniel Hillerström 2022-11-15 18:01:32 +0000
20f44ad547 Fix typo Daniel Hillerström 2022-11-15 18:01:26 +0000
101ac96aa2 NU PRL slides Daniel Hillerström 2022-11-02 15:45:00 +0000
e6182105de Merge branch 'master' of github.com:dhil/phd-dissertation Daniel Hillerström 2022-10-12 23:56:05 +0100
63fe9a738a Prepare slides for Huawei Research Centre Zurich seminar Daniel Hillerström 2022-10-12 23:55:57 +0100
3a9394baf8 Fix a minor typo Daniel Hillerström 2022-07-01 01:19:43 +0100
6193214890 Update slides Daniel Hillerström 2022-05-26 18:27:32 +0100
ffe6ebd0b9 Update MSR 2022 slides Daniel Hillerström 2022-05-25 22:29:14 +0100
01a8a3d581 Draft MSR talk Daniel Hillerström 2022-05-25 22:24:31 +0100
008e80ea67 Link to thesis. Daniel Hillerström 2022-03-26 00:18:14 +0000
3276537ab1 Tweak acknowledgements Daniel Hillerström 2022-03-23 14:56:41 +0000
20551152b3 Minor tweaks and typo fixes. Daniel Hillerström 2022-03-21 14:12:59 +0000
8679803146 Fix typo Daniel Hillerström 2022-03-18 14:49:58 +0000
d7bd881a00 Update latest draft Daniel Hillerström 2021-12-22 16:55:21 +0000
f5685fe70d Chapter 8 Daniel Hillerström 2021-12-22 16:48:14 +0000
7f3503153f Minor fixes Daniel Hillerström 2021-12-22 16:27:14 +0000
40c6505ae2 Simplify Daniel Hillerström 2021-12-22 16:15:16 +0000
b897751a38 Note on reduction relation Daniel Hillerström 2021-12-22 16:13:22 +0000
3e1bbf3206 Fix todo Daniel Hillerström 2021-12-22 16:10:51 +0000
40948507e9 CPS outline Daniel Hillerström 2021-12-22 16:08:08 +0000
2a800f07e2 WIP Daniel Hillerström 2021-12-22 15:58:26 +0000
d3921f24e3 WIP Daniel Hillerström 2021-12-22 14:23:57 +0000
7063acb4e7 Related work Daniel Hillerström 2021-12-21 16:14:59 +0000
c9ff1d9af8 Chapter 3 Daniel Hillerström 2021-12-21 16:05:12 +0000
fff15c9c83 Section 2.6 and 2.7 Daniel Hillerström 2021-12-20 23:29:16 +0000
a24a33dcf8 Section 2.5 Daniel Hillerström 2021-12-20 16:08:32 +0000
6c128a1181 Section 2.4 Daniel Hillerström 2021-12-20 13:37:07 +0000
98784c59ab Section 2.3 Daniel Hillerström 2021-12-17 17:57:31 +0000
6492391ed4 Section 2.2 Daniel Hillerström 2021-12-17 17:23:01 +0000
cea34c85e1 Section 2.1 Daniel Hillerström 2021-12-17 16:42:02 +0000
40b1144d9b Chapter 2 outline, relation to prior work, and terminology. Daniel Hillerström 2021-12-17 01:29:57 +0000
3067bfb939 fix chapter 2 intro Daniel Hillerström 2021-12-13 22:55:52 +0000
83b5f7db99 Start implementing the corrections. Daniel Hillerström 2021-11-24 15:20:50 +0000
981b0d48f8 Update README with viva date. Daniel Hillerström 2021-08-13 12:07:16 +0100
ee8a4ab2dd Fix a couple of typos Daniel Hillerström 2021-08-13 11:47:23 +0100
3fda920eae Minor improvement Daniel Hillerström 2021-08-13 11:35:08 +0100
0b198e7a25 Add paper references Daniel Hillerström 2021-08-12 23:01:29 +0100
740413ed1b Viva slides Daniel Hillerström 2021-08-12 22:37:01 +0100
7ed7a44d61 Package the draft as an archive Daniel Hillerström 2021-06-07 13:31:51 +0100
350d741204 List appendices Daniel Hillerström 2021-06-07 12:35:42 +0100
f8697be4c7 Remark that the final revision will be made available. Daniel Hillerström 2021-06-07 12:28:06 +0100
f9b8234221 Link to examiners Daniel Hillerström 2021-06-07 12:26:36 +0100
67598cee1e Dissertation overview Daniel Hillerström 2021-06-07 12:22:52 +0100
113b7c4620 Update build instructions Daniel Hillerström 2021-06-07 12:13:26 +0100
c52edb51f6 Make the latest draft revision available. Daniel Hillerström 2021-06-07 12:09:54 +0100
a4b802e4e0 Draft compilation Daniel Hillerström 2021-06-07 12:03:47 +0100
3b7dd13e3d typo Daniel Hillerström 2021-06-01 19:03:06 +0100
a42bfc25ab Update acknowledgements Daniel Hillerström 2021-06-01 18:35:26 +0100
97a4a806e1 Fix typos Daniel Hillerström 2021-05-31 10:26:35 +0100
0e02128d03 Rewording. THANKS AGAIN AMNA. Daniel Hillerström 2021-05-30 20:45:37 +0100
aa2b963d0e Fix grammar Daniel Hillerström 2021-05-30 20:41:03 +0100
2f494aae67 Fix grammar Daniel Hillerström 2021-05-30 20:40:16 +0100
a36b1cf0d4 Another typo Daniel Hillerström 2021-05-30 20:38:54 +0100
53b54056f8 Fix typo - THANKS AMNA Daniel Hillerström 2021-05-30 20:38:00 +0100
f80becc368 Spell out anonymous function notation Daniel Hillerström 2021-05-30 20:10:16 +0100
6c6d8e2aba A little paragraph justifying CPS Daniel Hillerström 2021-05-30 20:04:41 +0100
bc7d89ec5f Update acknowledgements Daniel Hillerström 2021-05-30 19:51:21 +0100
69a2c881b7 Declaration signature Daniel Hillerström 2021-05-30 13:43:43 +0100
6e5d7b01df Acknowledgements Daniel Hillerström 2021-05-30 13:40:48 +0100
49e53bac03 Acknowledgements Daniel Hillerström 2021-05-30 13:35:04 +0100
4834a6e5d3 Final example Daniel Hillerström 2021-05-30 13:09:00 +0100
3f91ab595e Fix rendering of type erasure lemma Daniel Hillerström 2021-05-30 01:01:48 +0100
333452bed2 Remove todo Daniel Hillerström 2021-05-30 00:58:08 +0100
51429afdd8 Update related work Chapter 5 Daniel Hillerström 2021-05-30 00:56:43 +0100
e52cc41d40 Dybvig et al. taxonomy Daniel Hillerström 2021-05-29 23:57:24 +0100
b2eb9334ca Fix wording Daniel Hillerström 2021-05-29 20:36:51 +0100
754c3b823e Appendices Daniel Hillerström 2021-05-29 20:21:32 +0100
363628c1d3 Consistency Daniel Hillerström 2021-05-29 16:33:52 +0100
664956251c another example Daniel Hillerström 2021-05-29 16:02:19 +0100
d18a5e3058 Syntactic sugar Daniel Hillerström 2021-05-29 12:15:21 +0100
00f4264547 Minor fix Daniel Hillerström 2021-05-29 11:57:39 +0100
5597c9657b Lay summary Daniel Hillerström 2021-05-29 11:56:35 +0100
8b3660b0ce WIP Daniel Hillerström 2021-05-29 10:40:49 +0100
77475e129b WIP Daniel Hillerström 2021-05-29 00:30:25 +0100
9c2da2c378 Fix typos in introduction Daniel Hillerström 2021-05-29 00:28:38 +0100
ee92e3b483 WIP Daniel Hillerström 2021-05-28 22:54:30 +0100
6c3eb0e9cf another example Daniel Hillerström 2021-05-28 19:41:29 +0100
a476679810 Another example Daniel Hillerström 2021-05-28 19:03:55 +0100
3cb5e3622f Example Daniel Hillerström 2021-05-28 18:20:01 +0100
11b4888263 WIP Daniel Hillerström 2021-05-28 13:19:54 +0100
68110a67ef missing macros Daniel Hillerström 2021-05-28 12:49:36 +0100
d4ce54795c Minor fixes Daniel Hillerström 2021-05-28 12:21:14 +0100
2fbbf04bd4 WIP Daniel Hillerström 2021-05-28 10:51:07 +0100
0885c75c1e WIP Daniel Hillerström 2021-05-28 01:09:53 +0100
0c4108cdea WIP Daniel Hillerström 2021-05-28 00:11:34 +0100

Commit Graph Select branches Hide Pull Requests master Mono Color

Commit Graph

Select branches

Hide Pull Requests

master