Daniel Hillerström dhil
0 Followers · 0 Following
Repositories
1
 Projects Packages Public Activity Starred Repositories
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-13 02:31:53 +01:00
78e291d602 WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-12 18:31:53 +01:00
d8ac28a9ee Abstract machine WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-11 02:30:31 +01:00
817676f8e8 Edits
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-09 02:30:31 +01:00
4c480a4b6e Abstract machine figures
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-08 02:30:31 +01:00
408b6041f6 WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-07 18:30:31 +01:00
950bee7ce3 Fix typos in chapter 9
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-06 02:30:31 +01:00
25b48c1082 Reword
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-05 18:30:31 +01:00
0cd953ac94 Interdefinability of effect handlers
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-04-01 02:30:31 +01:00
34d724919f WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-30 02:30:31 +01:00
2f7da6ed15 WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-18 01:20:31 +00:00
5f7e8eadd2 Prove lemma
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-17 01:16:29 +00:00
284139375a Interdefinability WIP2
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-16 01:16:29 +00:00
28aaebf5ec WIP
f1d88fbcc4 Interdefinability WIP
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-15 17:16:29 +00:00
669b708a79 Related work for CPS
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-13 01:16:29 +00:00
df08169725 Administrative resumptions example.
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-12 01:16:29 +00:00
b609812079 CPS intro
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-04 17:16:29 +00:00
1b2882b1eb Simplify CPS
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-04 01:16:29 +00:00
7f99b18242 CPS for parameterised handlers
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-03 17:16:29 +00:00
95035458ec CPS translation for parameterised handlers (figure)
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-03-03 01:16:29 +00:00
a29a6dc9c5 CPS intro