phd-dissertation

c0afe9e548 More on control and prompt Daniel Hillerström 2020-11-23 23:56:46 +0000
1cffe1e0d6 Undelimited intro Daniel Hillerström 2020-11-23 23:13:08 +0000
303b76b990 Notes on control and prompt Daniel Hillerström 2020-11-23 21:45:45 +0000
073dca248e J Daniel Hillerström 2020-11-21 23:55:39 +0000
10eaab3979 C and F start. Daniel Hillerström 2020-11-10 20:02:57 +0000
6cf32d824c Question about interdefinability of callcc and callcc* Daniel Hillerström 2020-11-10 15:30:40 +0000
509044bd8f Callcc and callcc* Daniel Hillerström 2020-11-09 14:36:01 +0000
ca707ccac4 Change section title Daniel Hillerström 2020-11-09 01:46:30 +0000
ea9763fd70 Callcc Daniel Hillerström 2020-11-09 01:37:05 +0000
293bdae1d3 Catch Daniel Hillerström 2020-11-09 00:47:29 +0000
2800e2bd75 Notes on escape Daniel Hillerström 2020-11-08 22:32:28 +0000
f56901ad4b Extend Table 4.2 Daniel Hillerström 2020-11-08 16:54:50 +0000
3c5be3b401 Add note Daniel Hillerström 2020-11-08 00:35:41 +0000
70a5d4a9ae Progress on undelimited control. Daniel Hillerström 2020-11-08 00:23:11 +0000
8500ce5796 Notes on J Daniel Hillerström 2020-11-07 19:57:33 +0000
ae6b233525 A first stab at some typing rules. Daniel Hillerström 2020-11-06 23:30:15 +0000
53a2f691c5 Use 'dump' contexts Daniel Hillerström 2020-11-06 00:55:16 +0000
a75f22eb50 C and F Daniel Hillerström 2020-11-06 00:17:56 +0000
a656f426b8 Some minor fixes Daniel Hillerström 2020-11-05 22:29:19 +0000
b92a96bc79 Update reductions Daniel Hillerström 2020-11-04 15:00:45 +0000
bdb6b31f29 Classification of control operators [WIP]. Daniel Hillerström 2020-11-03 22:33:56 +0000
e058e7804d Add note about call-with-composable-continuation Daniel Hillerström 2020-11-02 19:20:12 +0000
da0fc108d7 Controlling continuations [WIP] Daniel Hillerström 2020-10-30 09:11:24 +0000
ab38da7102 Some more references on control operators. Daniel Hillerström 2020-10-28 22:41:25 +0000
5e7ce98c0e Some notes on control operators and resumptions. Daniel Hillerström 2020-10-28 21:49:32 +0000
de8158d6ec Pass through parameterised handlers section Daniel Hillerström 2020-10-27 13:26:30 +0000
c047b061c7 File system example code. Daniel Hillerström 2020-10-27 13:24:30 +0000
e2af947cbd Update code Daniel Hillerström 2020-10-27 00:58:20 +0000
8700c0f439 File I/O [WIP] Daniel Hillerström 2020-10-27 00:22:39 +0000
604e8047f1 Update code Daniel Hillerström 2020-10-26 23:26:46 +0000
6038d790f1 Minor fixes Daniel Hillerström 2020-10-24 11:41:15 +0100
397c753ce3 Add a some new references, apply minor adjustments to some existing references. Daniel Hillerström 2020-10-23 13:36:29 +0100
8889ecb463 More control operator references. Daniel Hillerström 2020-10-23 00:43:57 +0100
36f2035003 Control operator references Daniel Hillerström 2020-10-22 17:03:08 +0100
c707eb769e Fix definition style Daniel Hillerström 2020-10-21 14:36:30 +0100
5f7bf83332 Section 2.1 intro Daniel Hillerström 2020-10-21 13:06:56 +0100
a0ed7d2dfd Rewording Daniel Hillerström 2020-10-21 01:53:27 +0100
efcdcd49a2 Simplify Daniel Hillerström 2020-10-21 01:37:58 +0100
e1407b2eab Slight elaboration Daniel Hillerström 2020-10-21 01:36:14 +0100
16aff4f445 Rewording Daniel Hillerström 2020-10-21 01:26:14 +0100
de88350786 Some scribbles on relations and functions. Daniel Hillerström 2020-10-21 01:24:08 +0100
ba4c2aac96 Dump content Daniel Hillerström 2020-10-19 22:15:26 +0100
97e0a787bd Rewording Daniel Hillerström 2020-10-16 12:52:43 +0100
9373716166 Add reference on local and global state. Daniel Hillerström 2020-10-16 00:16:32 +0100
c442a711a9 State Daniel Hillerström 2020-10-15 23:29:48 +0100
53c76a0934 Fix macro use Daniel Hillerström 2020-10-14 22:44:19 +0100
95244693f4 Interruption via interception, last example. Daniel Hillerström 2020-10-14 22:43:32 +0100
003c8e4d6c Dedication. Daniel Hillerström 2020-10-13 21:19:48 +0100
5e602afb68 Rewording Daniel Hillerström 2020-10-13 00:41:09 +0100
653b1fc56e Interruptions via interceptions Daniel Hillerström 2020-10-13 00:39:20 +0100
f8c3798cd1 Fix typo Daniel Hillerström 2020-10-12 22:43:28 +0100
29798f2c43 Timesharing example. Daniel Hillerström 2020-10-12 22:41:10 +0100
1c77c64f83 Shakespeare Daniel Hillerström 2020-10-12 22:41:02 +0100
50216c6d8c WIP nondeterminism example. Daniel Hillerström 2020-10-12 16:24:04 +0100
11ad068943 Non-blind backtracking reference Daniel Hillerström 2020-10-12 15:31:49 +0100
0a40c9d72b Update bibliography Daniel Hillerström 2020-10-12 12:41:33 +0100
99b42ee7f1 Move some text around. Daniel Hillerström 2020-10-11 21:46:47 +0100
0a13628c16 Declaration, bibliography, and a few other fixes. Daniel Hillerström 2020-10-11 21:08:30 +0100
48ed305a8e Revert dedication Daniel Hillerström 2020-10-10 13:54:44 +0100
6457753ca6 Something about fork Daniel Hillerström 2020-10-09 23:04:29 +0100
837fc51651 fix overflow Daniel Hillerström 2020-10-08 00:27:37 +0100
ceb74e43a3 User session management example. Daniel Hillerström 2020-10-08 00:15:43 +0100
f605fb78f2 Putc => Write. Don't mention file descriptors. Daniel Hillerström 2020-10-07 21:19:05 +0100
e08923dadc Note on dynamic binding. Daniel Hillerström 2020-10-07 21:16:22 +0100
39824fcf18 Exceptions example and figures. Daniel Hillerström 2020-10-07 16:51:08 +0100
d30ffb2a39 UNIX example figures. Daniel Hillerström 2020-10-07 00:23:19 +0100
caee5d3a94 Stream redirection example Daniel Hillerström 2020-10-06 23:43:40 +0100
ca84083998 TCP handshake Daniel Hillerström 2020-10-06 22:44:30 +0100
75174524c0 File I/O Daniel Hillerström 2020-10-05 20:28:52 +0100
925d4319d2 Pure file system manipulation functions. Daniel Hillerström 2020-10-03 00:26:51 +0100
d767e78b44 Try a new syntax for operation cases. Daniel Hillerström 2020-10-02 22:45:51 +0100
92aed1134a Generic state handling code. Daniel Hillerström 2020-10-02 16:26:29 +0100
5f0faa13c8 minor code revision. Daniel Hillerström 2020-10-02 16:11:10 +0100
70ebcde70a Time-sharing code. Daniel Hillerström 2020-10-02 16:10:52 +0100
495258cf0b Tiny UNIX rev. 2 [WIP] Daniel Hillerström 2020-10-02 16:03:49 +0100
92172beb30 Remove space Daniel Hillerström 2020-10-02 02:02:01 +0100
2a50b7402c Code for session management Daniel Hillerström 2020-10-02 01:48:39 +0100
fe255ba70e Code for non-local exits Daniel Hillerström 2020-10-02 01:22:21 +0100
313b8a7779 Reword Daniel Hillerström 2020-10-02 01:01:38 +0100
fcb63fa94f Rewording. Daniel Hillerström 2020-10-02 00:56:59 +0100
a9ab791261 Fix GNU coreutils bibtex entry. Daniel Hillerström 2020-10-02 00:49:52 +0100
972b556831 UNIX example: environment [WIP]. Daniel Hillerström 2020-10-02 00:47:59 +0100
90f1791983 Start UNIX example: basic IO. Daniel Hillerström 2020-10-01 23:09:03 +0100
1493501193 Reference for UNIX. Daniel Hillerström 2020-10-01 00:41:40 +0100
6780352ce9 Fix filesystem implementation Daniel Hillerström 2020-10-01 00:12:51 +0100
aec477f03b File IO Daniel Hillerström 2020-09-30 23:52:05 +0100
1e5c5c4d0c Examples Daniel Hillerström 2020-09-30 22:57:18 +0100
8a6ea77186 Tiny UNIX implementation in Links. Daniel Hillerström 2020-09-30 22:57:02 +0100
631eb76f82 References for Lisp, Elisp, and Regular Expressions. Daniel Hillerström 2020-09-30 13:57:41 +0100
d501247ed0 Exception handling example. Daniel Hillerström 2020-09-28 20:04:15 +0100
2590603f79 Haskell reports Daniel Hillerström 2020-09-28 20:04:06 +0100
1aac25ed71 Fix typo Daniel Hillerström 2020-09-27 16:03:34 +0100
4cbd62140a Properly tail-recursive CPS definition. Daniel Hillerström 2020-09-24 23:14:15 +0100
63c917e533 Tidy up text on tail recursion. Daniel Hillerström 2020-09-24 17:44:53 +0100
36551c5dbf Slight rewording Daniel Hillerström 2020-09-23 22:26:32 +0100
41c96b56a1 Define tail calls. Daniel Hillerström 2020-09-23 22:16:35 +0100
e623e1ecd0 References for OCaml, Scheme, and proper tail recursion. Daniel Hillerström 2020-09-23 20:32:55 +0100
471a17dd5d Update intro-text for Section 7.4 Daniel Hillerström 2020-09-23 15:26:17 +0100
de42fdc282 Characterise static administrative redexes Daniel Hillerström 2020-09-23 13:01:50 +0100
0d349fb56d Define the parity of a continuation Daniel Hillerström 2020-09-22 21:03:12 +0100

Commit Graph Select branches Hide Pull Requests master Mono Color

Commit Graph

Select branches

Hide Pull Requests

master