phd-dissertation

ad548b2fa4 Discussion about continuation deconstruction. Daniel Hillerström 2020-09-22 20:37:10 +0100
20b2a2acec Rewrite body text of higher order translation for deep handlers. Daniel Hillerström 2020-09-22 15:57:26 +0100
bfa58c900c Rewording Daniel Hillerström 2020-09-21 22:52:42 +0100
65262ce684 Fix typos and other various small improvements. Daniel Hillerström 2020-09-21 21:02:02 +0100
381a43444c Remove redundant 'Proof's Daniel Hillerström 2020-09-16 23:22:25 +0100
63cfd44374 Correctness of CPS translation with generalised continuations Daniel Hillerström 2020-09-16 23:15:10 +0100
bf8732d09c Fix bugs in the subpar shallow handlers CPS translation. Add sections on generalised continuations. Daniel Hillerström 2020-09-14 02:38:12 +0100
bd6d13198c Dump abstract machine text. Daniel Hillerström 2020-09-11 17:50:30 +0100
95ccddb882 Update acknowledgements Daniel Hillerström 2020-09-11 17:05:18 +0100
ee83579eed The flawed CPS translation for shallow handlers. Daniel Hillerström 2020-09-11 16:51:15 +0100
286cd5fe63 Fix lemmas in the correctness section for the higher-order uncurried translation for deep handlers. Daniel Hillerström 2020-09-10 23:36:08 +0100
e74fc3659f Add flawed CPS translation for shallow handlers. Daniel Hillerström 2020-09-10 19:17:31 +0100
3bf65269f7 Rewording Daniel Hillerström 2020-09-10 01:20:21 +0100
1a41dc8e63 Simultaneous CPS translation for deep and shallow handlers. Daniel Hillerström 2020-09-10 01:08:14 +0100
3cf43fff19 Discuss static and dynamic administrative redexes. Daniel Hillerström 2020-09-09 22:20:08 +0100
8f66a7c3b4 Better explaination of the higher-order translation Daniel Hillerström 2020-09-07 23:51:34 +0100
ebbaa18c39 Maintain static continuation invariant in the higher-order CPS translation for deep handlers. Daniel Hillerström 2020-09-04 19:00:01 +0100
d00a0271ad Add note about Moggi's work. Daniel Hillerström 2020-08-27 23:49:35 +0100
428d7f5450 Plotkin's colon translation. Daniel Hillerström 2020-08-27 21:38:30 +0100
995906a30c WIP Daniel Hillerström 2020-08-27 16:50:42 +0100
ef3ff74249 Start subsection on colon translations. Daniel Hillerström 2020-08-26 15:42:01 +0100
74029910ff Add a few words to acknowledgements -- in particular add grant information. Daniel Hillerström 2020-08-03 18:08:57 +0100
b9aea3fab9 Tidy up HO translation. Daniel Hillerström 2020-08-03 01:50:23 +0100
9c4eed2e94 Describe the static meta language. Daniel Hillerström 2020-08-03 00:02:36 +0100
bed0f13bcd Fix HO translation of Do Daniel Hillerström 2020-08-02 19:47:38 +0100
d4fdbc91e9 First stab at streamlining the notation for the higher-order uncurried CPS translation for deep handlers. Also first stab at stating its correctness. Daniel Hillerström 2020-08-02 17:58:28 +0100
b4eb40437e Initial stab at higher-order CPS translation. Daniel Hillerström 2020-08-01 23:49:27 +0100
b9073d4ed1 Resumptions as explicit reversed stacks. Daniel Hillerström 2020-08-01 22:58:07 +0100
0a4e41d199 Minor elaboration. Daniel Hillerström 2020-08-01 16:10:20 +0100
c0fb1c22a7 Update uncurried translation. Daniel Hillerström 2020-08-01 15:33:51 +0100
64917f691d Uncurried translation. Daniel Hillerström 2020-07-29 14:35:37 +0100
0719961a3f Uncurried CPS translation Daniel Hillerström 2020-07-28 15:41:22 +0100
ad0f18d1c0 Merge branch 'master' of github.com:dhil/phd-dissertation Daniel Hillerström 2020-07-17 03:37:36 +0100
d3d88fb0a6 Improvements. Daniel Hillerström 2020-07-17 03:37:32 +0100
85875ded44 Continuations. Daniel Hillerström 2020-07-17 03:36:18 +0100
c50ca96e56 Fix typo Daniel Hillerström 2020-07-16 01:30:14 +0100
566e5840d2 Begin CPS chapter Daniel Hillerström 2020-07-16 01:23:58 +0100
b96401a756 Combined substitution maps Daniel Hillerström 2020-04-09 15:05:18 +0100
e98fd67e8b Define a macro for definitional equality up to alpha-conversion. Daniel Hillerström 2020-04-08 15:45:35 +0100
4bc6da9010 Fix positioning of derivation Daniel Hillerström 2020-04-08 13:15:20 +0100
3fc9899400 Variant typing example Daniel Hillerström 2020-04-06 14:59:59 +0100
cb1d5c056a fix type substitution Daniel Hillerström 2020-04-03 17:25:27 +0100
32f4e2a506 Clarify Daniel Hillerström 2020-04-01 15:37:27 +0100
5355ffa031 Examples Daniel Hillerström 2020-04-01 15:32:07 +0100
4a79664b8f Fix compilation bug Daniel Hillerström 2020-03-31 12:35:38 +0100
b66b20d4ed Edits Daniel Hillerström 2020-03-30 13:30:41 +0100
a37812aad5 Revisions, parametricity. Daniel Hillerström 2020-03-25 16:19:44 +0000
753996ae9f Revisions Daniel Hillerström 2020-02-24 22:27:53 +0000
ba1ea599d8 Fix rendering of rule labels in mathpar Daniel Hillerström 2020-02-21 19:03:45 +0000
e52bd8867f Spell out bound labels. Daniel Hillerström 2020-02-14 17:33:44 +0000
e1efa7ade8 Bound labels. Daniel Hillerström 2020-02-13 18:43:58 +0000
e1cba25d8c Progress on unary deep handlers. Daniel Hillerström 2020-01-31 15:01:10 +0000
d9ea4c3f9f Performing effectful operations. Daniel Hillerström 2020-01-30 18:13:33 +0000
c25dbed7c5 Minor edits. Daniel Hillerström 2020-01-30 15:53:07 +0000
35a34ff064 Tracking of divergence (discussion). Daniel Hillerström 2020-01-30 15:51:36 +0000
bbbc6bc2da Simplify example 4.1 Daniel Hillerström 2020-01-29 19:52:34 +0000
539e5e6bb1 Tracking divergence. Daniel Hillerström 2020-01-29 19:16:47 +0000
f673ff3ba8 On tracking divergence. Daniel Hillerström 2020-01-28 20:21:22 +0000
11ade6aac3 Recursion Daniel Hillerström 2020-01-28 19:00:10 +0000
4f0710f9ff Adjust theorem numbering. Daniel Hillerström 2020-01-27 18:11:09 +0000
0065489933 Progress and preservation Daniel Hillerström 2020-01-27 17:31:47 +0000
c1df6ed862 Unique decomposition. Daniel Hillerström 2020-01-27 16:37:19 +0000
cecd23e853 Capture-avoiding substitution. Daniel Hillerström 2020-01-25 19:31:39 +0000
6d8c70a8c6 Beginning of metatheoretic properties. Daniel Hillerström 2020-01-24 20:29:05 +0000
b2a2ca4bc4 Type substitution. Daniel Hillerström 2020-01-23 17:27:59 +0000
874b9182ad Add missing case to the definition of FTV. Daniel Hillerström 2020-01-23 15:07:40 +0000
518739f291 Syntactic categories. Daniel Hillerström 2020-01-23 15:03:18 +0000
2c107f0234 Capture-avoiding substitution. Daniel Hillerström 2020-01-10 17:06:54 +0000
fbce5d3ff9 Dynamic semantics. Daniel Hillerström 2020-01-09 17:01:49 +0000
91ffbe0fcd Typing rules. Daniel Hillerström 2020-01-08 19:41:39 +0000
aaa862b1c5 Typing Daniel Hillerström 2019-12-20 17:01:35 +0000
f7ab2dbea6 WIP Daniel Hillerström 2019-12-20 11:55:57 +0000
673c31718f Progress Daniel Hillerström 2019-12-18 19:57:19 +0000
d4f7f8a853 On the syntax of types and terms. Daniel Hillerström 2019-12-16 19:15:28 +0000
3d6179970e Update Daniel Hillerström 2019-12-13 18:02:02 +0000
1429a0b940 Update README Daniel Hillerström 2019-12-13 17:54:33 +0000
e52ccf66c0 Progress. Daniel Hillerström 2019-12-13 17:52:51 +0000
6102f9ad90 Bibliography configuration. Daniel Hillerström 2019-12-05 15:34:56 +0000
592b2f4fdf Calculi macros. Daniel Hillerström 2019-12-05 14:45:55 +0000
f69c94d63b Alternative tentative structure. Daniel Hillerström 2019-11-27 18:15:58 +0000
897ab3ed63 Update the gitignore ruleset. Daniel Hillerström 2019-11-26 12:25:56 +0000
120367f9d6 Another potential thesis title and structure. Daniel Hillerström 2019-11-26 12:24:44 +0000
ddd151a76c Merge Daniel Hillerström 2019-11-18 17:33:25 +0000
6553c629ec Font tweaking. Daniel Hillerström 2019-11-18 17:32:00 +0000
6c3b8509a0 Yet another potential title. Daniel Hillerström 2019-09-20 11:25:17 -0700
65431048d7 Alternative title and dedication. Daniel Hillerström 2019-07-01 12:18:44 -0700
8fb5e9a427 A potential section about how effect handlers fit into the zoo of control operators that already exists. Daniel Hillerström 2019-02-14 15:14:15 +0000
b53d8f7302 Bits for a potential motivation. Daniel Hillerström 2019-02-13 10:14:19 +0000
1859687d11 Adds subsection heading for type and effect inference. Daniel Hillerström 2019-02-12 10:34:19 +0000
123efd3894 Potential outline. Daniel Hillerström 2019-02-12 10:31:47 +0000
ad66243cb9 Another possible title. Daniel Hillerström 2018-11-18 21:46:01 +0100
2de4cb952b Some notes. A potential title. Some potential chapter headings. Daniel Hillerström 2018-07-04 22:50:51 +0100
21d488a413 Update gitignore ruleset Daniel Hillerström 2018-07-02 18:15:45 +0100
b5bc71f9d6 Adds a Makefile Daniel Hillerström 2018-07-02 18:15:03 +0100
f6b009a3c2 Initial set-up Daniel Hillerström 2018-07-02 18:14:46 +0100
e7465afb08

Update README.md Daniel Hillerström 2018-07-02 16:50:06 +0100
f6802a123b

Update README.md Daniel Hillerström 2018-07-01 17:51:09 +0100
17b2483089

Initial commit Daniel Hillerström 2018-07-01 17:49:09 +0100

Commit Graph Select branches Hide Pull Requests master Mono Color

Commit Graph

Select branches

Hide Pull Requests

master