- Edinburgh, Scotland
- https://www.dhil.net/research
-
Effectful programmer
- Joined on Oct 26, 2019
dhil synced commits to master at dhil/phd-dissertation from mirror
-
81a4ecec0b UNIX tutorial 2024
1 year ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
cafa8b1ba2 Merge branch 'master' of github.com:dhil/phd-dissertation
-
2e61275a5b Fix typo; fix sentence structure.
- Compare 2 commits »
2 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
e90ba67a4b Update timeline
-
6aee80a71b Fix typo
- Compare 2 commits »
2 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
03b7c5b548 Fix typo. Slightly reword an awkward sentence.
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
7535fe7ecc Fix typos in handler typing rules in the appendix
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
72b54ad278 Add missing space in 'Evaluationcontexts' in Figure 3.5
-
01e707822f Fix typo in T-Let Figure 3.4
- Compare 2 commits »
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
2cecb13d34 Update all slides
-
ed634fcaa3 Update slides
- Compare 2 commits »
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
c60dc80fde Update slides
-
e86597f4e4 Draft lecture notes
- Compare 2 commits »
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
2b7b1df8db Merge branch 'master' of github.com:dhil/phd-dissertation
-
20f44ad547 Fix typo
- Compare 2 commits »
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
101ac96aa2 NU PRL slides
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
e6182105de Merge branch 'master' of github.com:dhil/phd-dissertation
-
63fe9a738a Prepare slides for Huawei Research Centre Zurich seminar
- Compare 2 commits »
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
3a9394baf8 Fix a minor typo
3 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
6193214890 Update slides
4 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
ffe6ebd0b9 Update MSR 2022 slides
-
01a8a3d581 Draft MSR talk
- Compare 2 commits »
4 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
008e80ea67 Link to thesis.
4 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
3276537ab1 Tweak acknowledgements
4 years ago
dhil synced commits to master at dhil/phd-dissertation from mirror
-
20551152b3 Minor tweaks and typo fixes.
4 years ago