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-10-29 00:05:29 +00:00
ab38da7102 Some more references on control operators.
5e7ce98c0e Some notes on control operators and resumptions.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-27 16:05:29 +00:00
de8158d6ec Pass through parameterised handlers section
c047b061c7 File system example code.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-27 08:05:29 +00:00
e2af947cbd Update code
8700c0f439 File I/O [WIP]
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-27 00:05:29 +00:00
604e8047f1 Update code
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-24 17:05:29 +01:00
6038d790f1 Minor fixes
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-23 17:05:29 +01:00
397c753ce3 Add a some new references, apply minor adjustments to some existing references.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-23 01:05:29 +01:00
8889ecb463 More control operator references.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-22 17:05:29 +01:00
36f2035003 Control operator references
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-21 17:05:29 +01:00
c707eb769e Fix definition style
5f7bf83332 Section 2.1 intro
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-21 09:05:29 +01:00
a0ed7d2dfd Rewording
efcdcd49a2 Simplify
e1407b2eab Slight elaboration
16aff4f445 Rewording
de88350786 Some scribbles on relations and functions.
Compare 5 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-20 01:05:29 +01:00
ba4c2aac96 Dump content
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-16 17:05:29 +01:00
97e0a787bd Rewording
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-16 01:05:29 +01:00
9373716166 Add reference on local and global state.
c442a711a9 State
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-15 01:05:29 +01:00
53c76a0934 Fix macro use
95244693f4 Interruption via interception, last example.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-14 01:05:29 +01:00
003c8e4d6c Dedication.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-13 00:49:43 +01:00
5e602afb68 Rewording
653b1fc56e Interruptions via interceptions
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-12 23:36:06 +01:00
f8c3798cd1 Fix typo
29798f2c43 Timesharing example.
1c77c64f83 Shakespeare
50216c6d8c WIP nondeterminism example.
Compare 4 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-12 15:36:06 +01:00
11ad068943 Non-blind backtracking reference
0a40c9d72b Update bibliography
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-11 23:36:06 +01:00
99b42ee7f1 Move some text around.
0a13628c16 Declaration, bibliography, and a few other fixes.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-10 15:36:06 +01:00
48ed305a8e Revert dedication