phd-dissertation

78e291d602 WIP Daniel Hillerström 2021-04-13 00:38:09 +0100
d8ac28a9ee Abstract machine WIP Daniel Hillerström 2021-04-12 14:04:01 +0100
817676f8e8 Edits Daniel Hillerström 2021-04-10 18:47:49 +0100
4c480a4b6e Abstract machine figures Daniel Hillerström 2021-04-09 00:04:58 +0100
408b6041f6 WIP Daniel Hillerström 2021-04-07 21:17:26 +0100
950bee7ce3 Fix typos in chapter 9 Daniel Hillerström 2021-04-07 11:59:05 +0100
25b48c1082 Reword Daniel Hillerström 2021-04-05 19:28:49 +0100
0cd953ac94 Interdefinability of effect handlers Daniel Hillerström 2021-04-05 17:11:15 +0100
34d724919f WIP Daniel Hillerström 2021-03-31 22:39:07 +0100
2f7da6ed15 WIP Daniel Hillerström 2021-03-29 23:46:16 +0100
5f7e8eadd2 Prove lemma Daniel Hillerström 2021-03-18 00:42:06 +0000
284139375a Interdefinability WIP2 Daniel Hillerström 2021-03-16 23:58:14 +0000
28aaebf5ec WIP Daniel Hillerström 2021-03-16 00:10:59 +0000
f1d88fbcc4 Interdefinability WIP Daniel Hillerström 2021-03-15 23:40:25 +0000
669b708a79 Related work for CPS Daniel Hillerström 2021-03-15 14:38:35 +0000
df08169725 Administrative resumptions example. Daniel Hillerström 2021-03-12 18:39:06 +0000
b609812079 CPS intro Daniel Hillerström 2021-03-12 00:18:08 +0000
1b2882b1eb Simplify CPS Daniel Hillerström 2021-03-04 11:56:45 +0000
7f99b18242 CPS for parameterised handlers Daniel Hillerström 2021-03-03 22:41:00 +0000
95035458ec CPS translation for parameterised handlers (figure) Daniel Hillerström 2021-03-03 14:22:56 +0000
a29a6dc9c5 CPS intro Daniel Hillerström 2021-03-02 23:36:33 +0000
bd3e2c8b9f Update related work Daniel Hillerström 2021-02-24 22:12:50 +0000
485d02f101 Merge branch 'master' of github.com:dhil/phd-dissertation Daniel Hillerström 2021-02-17 19:33:53 +0000
d890a327a7 Note Daniel Hillerström 2021-02-17 19:33:48 +0000
e9cd4315be Spacing. Daniel Hillerström 2021-02-17 18:04:05 +0000
f1e1b75ef7 Fix more typos Daniel Hillerström 2021-02-17 18:02:49 +0000
2f7a6ec818 More minor fixes Daniel Hillerström 2021-02-17 17:52:13 +0000
2b21cfcb4e Minor fixes Daniel Hillerström 2021-02-17 17:49:34 +0000
dd0aaa32f6 Fix typos Daniel Hillerström 2021-02-17 17:39:40 +0000
6588c0581c idiom => saying Daniel Hillerström 2021-02-17 17:27:05 +0000
12e24d7051 Minor edits Daniel Hillerström 2021-02-15 15:50:59 +0000
ace6a5b37c Local/global state Daniel Hillerström 2021-02-15 15:42:54 +0000
7917c2ca0b Abstract Daniel Hillerström 2021-02-11 21:15:29 +0000
b8fd8ea43d Update abstract Daniel Hillerström 2021-02-11 11:11:40 +0000
617fd1112c Update parameterised example. Daniel Hillerström 2021-02-10 18:34:16 +0000
cf2422a312 citet => cite Daniel Hillerström 2021-02-08 16:13:13 +0000
9959b211e4 Bits and edits Daniel Hillerström 2021-02-08 15:01:29 +0000
d128895361 Some related work Daniel Hillerström 2021-02-05 12:30:13 +0000
b977c35d91 typo Daniel Hillerström 2021-02-05 01:05:47 +0000
e907a526e5 More related work Daniel Hillerström 2021-02-05 01:04:50 +0000
5560b73cc5 note Daniel Hillerström 2021-02-04 23:24:07 +0000
afb7c4b5cb Related work Daniel Hillerström 2021-02-04 23:23:21 +0000
9f83249765 Parameterised handlers section. Daniel Hillerström 2021-02-04 18:18:27 +0000
9ae478047d runNext Daniel Hillerström 2021-02-04 16:28:32 +0000
9fdcf19ee5 Parameterised semantics Daniel Hillerström 2021-02-04 15:04:41 +0000
86269f6de2 Process synchronisation code. Daniel Hillerström 2021-02-04 12:13:27 +0000
f6613484ca skeleton code Daniel Hillerström 2021-02-04 00:25:50 +0000
756ce77e5a Edits Daniel Hillerström 2021-02-03 22:29:38 +0000
33781a94e2 Start parameterised handlers. Daniel Hillerström 2021-02-03 22:26:47 +0000
9fc66e6b62 Frequency Daniel Hillerström 2021-02-03 18:04:15 +0000
9dcac3cf29 Filters Daniel Hillerström 2021-02-03 16:07:36 +0000
ebca80d4b7 Pipes Daniel Hillerström 2021-02-02 23:56:33 +0000
fa823432ed Shallow handlers intro Daniel Hillerström 2021-02-02 15:26:59 +0000
e5bc7f52b9 Update references Daniel Hillerström 2021-02-01 17:43:34 +0000
a4b3053d17 Shallow handlers intro Daniel Hillerström 2021-02-01 16:00:24 +0000
3fa47f2ae6 Summary Daniel Hillerström 2021-02-01 13:50:26 +0000
eea76a0979 File linking/unlinking. Daniel Hillerström 2021-01-26 23:48:43 +0000
a34a2c9775 File linking Daniel Hillerström 2021-01-22 20:57:36 +0000
5c2e028445 File linking and unlinking skeletons Daniel Hillerström 2021-01-21 23:36:48 +0000
83769bf406 Stream redirection Daniel Hillerström 2021-01-21 21:14:49 +0000
5668c2be45 WIP Daniel Hillerström 2021-01-18 22:53:03 +0000
3cd12d216d File system WIP Daniel Hillerström 2021-01-14 20:00:46 +0000
46e36b5318 Chap 6 rewrite WIP Daniel Hillerström 2021-01-14 16:13:00 +0000
7e71992709 WIP Daniel Hillerström 2021-01-12 23:09:20 +0000
dbc52adcdc Chapter 6 intro. Daniel Hillerström 2021-01-11 22:41:17 +0000
ea3c6a7345 Structured interface explanation Daniel Hillerström 2021-01-08 16:16:05 +0000
672d67fc72 WIP Daniel Hillerström 2021-01-08 13:08:01 +0000
427a24e7f8 Abstract WIP Daniel Hillerström 2020-12-14 22:26:09 +0000
aff97c44fa Abstract WIP Daniel Hillerström 2020-12-12 17:16:41 +0000
32044351e5 Promote section to chapter. Chapter 6 intro WIP. Daniel Hillerström 2020-12-10 22:47:52 +0000
b8b0007b8c Update slide deck Daniel Hillerström 2020-12-08 13:59:01 +0000
d6a83c2442 PLUG 2020 slides Daniel Hillerström 2020-12-08 00:06:11 +0000
1593660461 Effect handlers. Daniel Hillerström 2020-12-06 00:27:35 +0000
828c173b58 Deep handlers static semantics. Daniel Hillerström 2020-12-05 18:53:54 +0000
a4e504e24b Restore consistency between control/prompt and shift/reset example. Daniel Hillerström 2020-12-05 17:56:47 +0000
9f8bbe7ff4 Composable continuations. Controlling continuations intro. Daniel Hillerström 2020-12-05 15:23:47 +0000
fc0e40dbf9 Abortive continuations Daniel Hillerström 2020-12-05 14:10:20 +0000
5c7483cb31 Delimited and undelimited continuations Daniel Hillerström 2020-12-04 23:40:00 +0000
e2b07fbf5f Continuations introduction Daniel Hillerström 2020-12-03 22:03:22 +0000
a2e53135b3 Continuation introduction rewrite [WIP] Daniel Hillerström 2020-12-02 23:47:55 +0000
7d4bf2224f Implementing continuations Daniel Hillerström 2020-12-02 22:26:40 +0000
326b1f1a50 Begin paragraph on CPS Daniel Hillerström 2020-12-02 00:03:51 +0000
aaf6e3d9f0 Clean up Daniel Hillerström 2020-12-01 23:33:34 +0000
cc7a39647c Reorganise Daniel Hillerström 2020-12-01 23:28:29 +0000
bebb40ce9f Remove static semantics paragraphs from escape and catch. Daniel Hillerström 2020-12-01 23:23:50 +0000
ab36a78a50 Segmented stacks. Daniel Hillerström 2020-12-01 23:19:09 +0000
aece9e532b {Programming,Constraining} continuations. Working on Implementing continuations. Daniel Hillerström 2020-12-01 20:19:15 +0000
de7074a1da {Programming,Constraining} continuations WIP Daniel Hillerström 2020-11-30 22:39:21 +0000
1c955bf57e Change control into a computation form. Daniel Hillerström 2020-11-30 00:05:55 +0000
83a8457b26 Effect handlers paragraph WIP Daniel Hillerström 2020-11-29 22:58:35 +0000
6b3296d8a8 Splitter Daniel Hillerström 2020-11-29 19:05:55 +0000
e7a64dd145 Reword fcontrol paragraph Daniel Hillerström 2020-11-29 16:14:53 +0000
673958e406 fcontrol Daniel Hillerström 2020-11-28 00:44:48 +0000
9e343cb064 fcontrol WIP Daniel Hillerström 2020-11-27 22:49:55 +0000
5c27694161 cupto WIP Daniel Hillerström 2020-11-27 18:47:29 +0000
9804ad6713 Shift/reset Daniel Hillerström 2020-11-27 16:45:30 +0000
fcadc31110 Refinement Daniel Hillerström 2020-11-27 01:17:44 +0000
c45099b8aa Delimited control intro Daniel Hillerström 2020-11-26 22:30:41 +0000
43f33038f0 Update bibliography Daniel Hillerström 2020-11-24 22:37:06 +0000
eec734c014 Control calculus Daniel Hillerström 2020-11-24 20:45:57 +0000

Commit Graph Select branches Hide Pull Requests master Mono Color

Commit Graph

Select branches

Hide Pull Requests

master