phd-dissertation

4259ddee4d WIP Daniel Hillerström 2021-05-28 00:07:19 +0100
5340615c26 WIP Daniel Hillerström 2021-05-28 00:00:00 +0100
28fd0505ce Asymptotic notation and other fixes Daniel Hillerström 2021-05-27 19:35:06 +0100
fe6444ff3d Theorem 8.9 Daniel Hillerström 2021-05-27 13:49:42 +0100
9fa5ebe6eb Citation for the three state equations. Daniel Hillerström 2021-05-27 13:15:30 +0100
79735da80a WIP Daniel Hillerström 2021-05-27 13:04:43 +0100
75d0dac161 WIP Daniel Hillerström 2021-05-27 11:47:47 +0100
a7d5117a64 Row polymorphism Daniel Hillerström 2021-05-27 10:50:31 +0100
75eb07cee1 Typo Daniel Hillerström 2021-05-27 00:57:03 +0100
ccd1f59d57 WIP Daniel Hillerström 2021-05-27 00:50:09 +0100
e84b4605c2 WIP Daniel Hillerström 2021-05-27 00:35:40 +0100
a57ac855c2 Chapter 9 Daniel Hillerström 2021-05-26 23:46:57 +0100
fac68ae974 WIP Daniel Hillerström 2021-05-26 21:41:59 +0100
a4d9cc4edd WIP Daniel Hillerström 2021-05-26 21:41:09 +0100
02b9a782f3 Typo Daniel Hillerström 2021-05-26 10:30:55 +0100
e419d52ee2 WIP Daniel Hillerström 2021-05-26 10:28:44 +0100
98c79cc70d minor consistency fixes Daniel Hillerström 2021-05-26 01:55:52 +0100
2c51620a56 WIP Daniel Hillerström 2021-05-26 01:15:07 +0100
0f31e10582 WIP Daniel Hillerström 2021-05-26 01:07:20 +0100
9679a3cc82 WIP Daniel Hillerström 2021-05-26 01:02:20 +0100
559d9c2d37 CLR Daniel Hillerström 2021-05-26 01:02:14 +0100
5c835f5179 Fiddling with tikz Daniel Hillerström 2021-05-25 21:08:30 +0100
836d85ea99 Break up tables Daniel Hillerström 2021-05-25 20:18:52 +0100
622932494d Fix typos Daniel Hillerström 2021-05-25 19:28:17 +0100
111b4cb35a Update Daniel Hillerström 2021-05-25 14:35:51 +0100
6f44524750 WIP Daniel Hillerström 2021-05-25 13:28:10 +0100
3438581826 Reword Daniel Hillerström 2021-05-25 13:03:22 +0100
650de85238 Effect sugar Daniel Hillerström 2021-05-25 12:59:01 +0100
b47c60fe57 WIP Daniel Hillerström 2021-05-25 01:19:48 +0100
696266922a WIP Daniel Hillerström 2021-05-25 00:20:51 +0100
8fad146499 Note on higher order functions Daniel Hillerström 2021-05-24 18:51:40 +0100
93793648ef Introduction draft Daniel Hillerström 2021-05-24 15:28:02 +0100
d9717b7434 Draft introdoctury bit Daniel Hillerström 2021-05-24 14:15:58 +0100
7c3942a564 WIP Daniel Hillerström 2021-05-24 11:49:38 +0100
a462aa8a57 WIP Daniel Hillerström 2021-05-24 01:48:25 +0100
13d76a146b Update state of effectful programming Daniel Hillerström 2021-05-23 22:42:28 +0100
67a48945e9 Insert a few citations. Daniel Hillerström 2021-05-23 18:48:14 +0100
b73d9a213f More proper capitalisations Daniel Hillerström 2021-05-23 18:47:58 +0100
475f82324d Extend acknowledgements Daniel Hillerström 2021-05-23 18:43:33 +0100
6f8c5364f2 Correct capitalisation Daniel Hillerström 2021-05-23 18:43:24 +0100
0e2015485a Update acknowledgements Daniel Hillerström 2021-05-23 18:24:44 +0100
7ec90b216d Fix typos in abstract Daniel Hillerström 2021-05-23 17:26:03 +0100
35af9ba572 State of effectful programming Daniel Hillerström 2021-05-23 16:26:08 +0100
a3273afa50 Combining monads Daniel Hillerström 2021-05-23 15:33:28 +0100
1945a7307c Yallop's thesis Daniel Hillerström 2021-05-23 14:12:35 +0100
307e4bd259 Fix typo Daniel Hillerström 2021-05-23 11:44:30 +0100
114252b64f Scope Daniel Hillerström 2021-05-23 11:36:24 +0100
21fba05959 Other theses Daniel Hillerström 2021-05-23 02:41:26 +0100
a41fb391fc Update code Daniel Hillerström 2021-05-22 20:33:28 +0100
85757c48fd Effect handlers primer Daniel Hillerström 2021-05-22 20:08:12 +0100
28b8503b97 WIP Daniel Hillerström 2021-05-22 01:22:47 +0100
2c63d11392 WIP Daniel Hillerström 2021-05-22 00:29:13 +0100
c254d293a9 fix typos Daniel Hillerström 2021-05-21 18:51:24 +0100
eefa6e4ad4 Monadic reflection example Daniel Hillerström 2021-05-21 14:02:06 +0100
8cc91fa4b1 WIP Daniel Hillerström 2021-05-20 18:03:38 +0100
15125f206c Intro WIP Daniel Hillerström 2021-05-20 17:49:38 +0100
ef04653ad2 WIP Daniel Hillerström 2021-05-20 14:41:25 +0100
1ede601435 Mention equations Daniel Hillerström 2021-05-20 11:22:22 +0100
9e7c74ef0f Reword Daniel Hillerström 2021-05-20 11:17:47 +0100
d1a91fb197 Reword Daniel Hillerström 2021-05-20 11:04:54 +0100
76d9c00e19 Free monad section Daniel Hillerström 2021-05-20 11:03:43 +0100
d00227a57b WIP Daniel Hillerström 2021-05-20 01:04:44 +0100
e46cd37b01 WIP Daniel Hillerström 2021-05-20 00:21:26 +0100
26b12c123a Transparent state-passing Daniel Hillerström 2021-05-19 21:16:49 +0100
a3e97f9510 WIP Daniel Hillerström 2021-05-19 19:26:32 +0100
09cd57fbce Builtin state intro Daniel Hillerström 2021-05-19 19:18:28 +0100
5981ac986c WIP Daniel Hillerström 2021-05-19 18:47:55 +0100
a46e2fd5d6 WIP Daniel Hillerström 2021-05-19 18:11:36 +0100
4ece98ba21 State example with delimited control Daniel Hillerström 2021-05-19 17:49:50 +0100
a609ca4b81 WIP Daniel Hillerström 2021-05-19 11:16:22 +0100
d0061e18c2 WIP Daniel Hillerström 2021-05-18 23:54:35 +0100
c28aef1c9e Notes on why first-class control matters Daniel Hillerström 2021-05-18 23:45:20 +0100
8ecfadb94e Fix Ref macro Daniel Hillerström 2021-05-18 08:04:20 +0100
52b12535ae WIP Daniel Hillerström 2021-05-17 23:28:51 +0100
bce45f10e3 fix typo Daniel Hillerström 2021-05-17 23:20:32 +0100
1129d2bb71 WIP Daniel Hillerström 2021-05-17 23:18:03 +0100
9ba7def07b WIP Daniel Hillerström 2021-05-17 23:13:01 +0100
2eb5b0d4ba WIP Daniel Hillerström 2021-05-15 21:08:57 +0100
1c692d8cbf WIP Daniel Hillerström 2021-05-15 13:29:49 +0100
4d5bd3e08e Update conclusion Daniel Hillerström 2021-05-13 23:35:05 +0100
b13960a5e1 Fix spacing in stepsto type declaration Daniel Hillerström 2021-05-13 13:30:02 +0100
84fe38105e Contributions and outline Daniel Hillerström 2021-05-13 11:07:36 +0100
aacee4d72a WIP Daniel Hillerström 2021-05-12 22:51:01 +0100
1bca580f1f Reword conclusion Daniel Hillerström 2021-05-11 23:04:15 +0100
b02743df0f WIP Daniel Hillerström 2021-05-11 11:18:30 +0100
b76e18488c WIP Daniel Hillerström 2021-05-10 23:44:12 +0100
60976a7013 WIP Daniel Hillerström 2021-05-10 16:26:08 +0100
e88d27740d WIP Daniel Hillerström 2021-05-06 22:39:08 +0100
74c25ce63b Rewording and reordering Daniel Hillerström 2021-05-06 10:47:25 +0100
f9d92a231e Example done Daniel Hillerström 2021-05-05 23:17:43 +0100
50125e86ac Example Daniel Hillerström 2021-05-05 22:54:14 +0100
d6b67950b2 WIP Daniel Hillerström 2021-05-04 23:00:40 +0100
fc0c6a98bb WIP Daniel Hillerström 2021-05-03 22:39:19 +0100
388dc36b20 WIP Daniel Hillerström 2021-04-27 22:31:26 +0100
61b2ce4f66 Realisability Daniel Hillerström 2021-04-26 23:22:48 +0100
08b107323d WIP Daniel Hillerström 2021-04-23 13:42:55 +0100
1a93d1a5b7 Conclusions notes [WIP] Daniel Hillerström 2021-04-20 22:47:50 +0100
febf2a06c0 Abstract machine correctness Daniel Hillerström 2021-04-20 21:48:20 +0100
0861e926ee abstract machine related work Daniel Hillerström 2021-04-20 16:31:34 +0100
9f5b2ba56c WIP Daniel Hillerström 2021-04-13 23:54:11 +0100

Commit Graph Select branches Hide Pull Requests master Mono Color

Commit Graph

Select branches

Hide Pull Requests

master