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-09-16 23:36:06 +01:00
381a43444c Remove redundant 'Proof's
63cfd44374 Correctness of CPS translation with generalised continuations
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-14 07:36:06 +01:00
bf8732d09c Fix bugs in the subpar shallow handlers CPS translation. Add sections on generalised continuations.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-11 23:36:06 +01:00
bd6d13198c Dump abstract machine text.
95ccddb882 Update acknowledgements
ee83579eed The flawed CPS translation for shallow handlers.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-11 07:36:06 +01:00
286cd5fe63 Fix lemmas in the correctness section for the higher-order uncurried translation for deep handlers.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-10 23:36:06 +01:00
e74fc3659f Add flawed CPS translation for shallow handlers.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-10 07:36:06 +01:00
3bf65269f7 Rewording
1a41dc8e63 Simultaneous CPS translation for deep and shallow handlers.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-09 23:36:06 +01:00
3cf43fff19 Discuss static and dynamic administrative redexes.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-08 07:36:06 +01:00
8f66a7c3b4 Better explaination of the higher-order translation
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-04 23:36:06 +01:00
ebbaa18c39 Maintain static continuation invariant in the higher-order CPS translation for deep handlers.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-08-28 07:36:06 +01:00
d00a0271ad Add note about Moggi's work.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-08-27 23:36:06 +01:00
428d7f5450 Plotkin's colon translation.
995906a30c WIP
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-08-26 23:36:06 +01:00
ef3ff74249 Start subsection on colon translations.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-08-03 23:16:07 +01:00
74029910ff Add a few words to acknowledgements -- in particular add grant information.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-08-03 07:16:06 +01:00
b9aea3fab9 Tidy up HO translation.
9c4eed2e94 Describe the static meta language.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-08-02 23:16:06 +01:00
bed0f13bcd Fix HO translation of Do
d4fdbc91e9 First stab at streamlining the notation for the higher-order uncurried CPS translation for deep handlers. Also first stab at stating its correctness.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-08-02 07:16:06 +01:00
b4eb40437e Initial stab at higher-order CPS translation.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-08-01 23:16:06 +01:00
b9073d4ed1 Resumptions as explicit reversed stacks.
0a4e41d199 Minor elaboration.
c0fb1c22a7 Update uncurried translation.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-07-29 15:06:31 +01:00
64917f691d Uncurried translation.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-07-28 22:56:31 +01:00
0719961a3f Uncurried CPS translation
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-07-17 06:56:31 +01:00
ad0f18d1c0 Merge branch 'master' of github.com:dhil/phd-dissertation
d3d88fb0a6 Improvements.
85875ded44 Continuations.
Compare 3 commits »