Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

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