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 2020-11-28 00:35:30 +00:00
9e343cb064 fcontrol WIP
5c27694161 cupto WIP
9804ad6713 Shift/reset
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-27 08:35:29 +00:00
fcadc31110 Refinement
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-27 00:35:29 +00:00
c45099b8aa Delimited control intro
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-25 00:35:29 +00:00
43f33038f0 Update bibliography
eec734c014 Control calculus
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-24 00:25:30 +00:00
c0afe9e548 More on control and prompt
1cffe1e0d6 Undelimited intro
303b76b990 Notes on control and prompt
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-22 00:25:29 +00:00
073dca248e J
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-11 00:25:29 +00:00
10eaab3979 C and F start.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-10 16:25:29 +00:00
6cf32d824c Question about interdefinability of callcc and callcc*
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-09 16:25:29 +00:00
509044bd8f Callcc and callcc*
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-09 08:25:29 +00:00
ca707ccac4 Change section title
ea9763fd70 Callcc
293bdae1d3 Catch
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-09 00:25:30 +00:00
2800e2bd75 Notes on escape
f56901ad4b Extend Table 4.2
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-08 08:25:29 +00:00
3c5be3b401 Add note
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-08 00:25:29 +00:00
70a5d4a9ae Progress on undelimited control.
8500ce5796 Notes on J
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-07 00:25:29 +00:00
ae6b233525 A first stab at some typing rules.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-06 08:15:30 +00:00
53a2f691c5 Use 'dump' contexts
a75f22eb50 C and F
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-06 00:15:29 +00:00
a656f426b8 Some minor fixes
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-04 16:15:29 +00:00
b92a96bc79 Update reductions
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-04 00:05:30 +00:00
bdb6b31f29 Classification of control operators [WIP].
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-11-03 00:05:29 +00:00
e058e7804d Add note about call-with-composable-continuation
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-30 16:05:29 +00:00
da0fc108d7 Controlling continuations [WIP]