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-01-15 00:35:29 +00:00
3cd12d216d File system WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-01-14 16:35:29 +00:00
46e36b5318 Chap 6 rewrite WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-01-13 00:35:29 +00:00
7e71992709 WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-01-12 00:35:29 +00:00
dbc52adcdc Chapter 6 intro.
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-01-08 16:35:29 +00:00
ea3c6a7345 Structured interface explanation
672d67fc72 WIP
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-15 00:35:29 +00:00
427a24e7f8 Abstract WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-13 00:35:29 +00:00
aff97c44fa Abstract WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-11 00:35:29 +00:00
32044351e5 Promote section to chapter. Chapter 6 intro WIP.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-08 16:35:29 +00:00
b8b0007b8c Update slide deck
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-08 00:35:29 +00:00
d6a83c2442 PLUG 2020 slides
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-06 00:35:29 +00:00
1593660461 Effect handlers.
828c173b58 Deep handlers static semantics.
a4e504e24b Restore consistency between control/prompt and shift/reset example.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-05 16:35:29 +00:00
9f8bbe7ff4 Composable continuations. Controlling continuations intro.
fc0e40dbf9 Abortive continuations
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-05 00:35:29 +00:00
5c7483cb31 Delimited and undelimited continuations
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-04 00:35:29 +00:00
e2b07fbf5f Continuations introduction
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-03 00:35:29 +00:00
a2e53135b3 Continuation introduction rewrite [WIP]
7d4bf2224f Implementing continuations
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-02 00:35:29 +00:00
326b1f1a50 Begin paragraph on CPS
aaf6e3d9f0 Clean up
cc7a39647c Reorganise
bebb40ce9f Remove static semantics paragraphs from escape and catch.
ab36a78a50 Segmented stacks.
Compare 6 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-12-01 00:35:30 +00:00
de7074a1da {Programming,Constraining} continuations WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-30 00:35:29 +00:00
1c955bf57e Change control into a computation form.
83a8457b26 Effect handlers paragraph WIP
6b3296d8a8 Splitter
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-29 16:35:29 +00:00
e7a64dd145 Reword fcontrol paragraph
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-28 08:35:29 +00:00
673958e406 fcontrol