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-09 23:36:06 +01:00
6457753ca6 Something about fork
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-08 07:36:06 +01:00
837fc51651 fix overflow
ceb74e43a3 User session management example.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-07 23:36:06 +01:00
f605fb78f2 Putc => Write. Don't mention file descriptors.
e08923dadc Note on dynamic binding.
39824fcf18 Exceptions example and figures.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-07 07:36:06 +01:00
d30ffb2a39 UNIX example figures.
caee5d3a94 Stream redirection example
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-06 23:36:06 +01:00
ca84083998 TCP handshake
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-05 23:36:06 +01:00
75174524c0 File I/O
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-03 07:36:06 +01:00
925d4319d2 Pure file system manipulation functions.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-02 23:36:06 +01:00
d767e78b44 Try a new syntax for operation cases.
92aed1134a Generic state handling code.
5f0faa13c8 minor code revision.
70ebcde70a Time-sharing code.
495258cf0b Tiny UNIX rev. 2 [WIP]
Compare 5 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-02 07:36:06 +01:00
92172beb30 Remove space
2a50b7402c Code for session management
fe255ba70e Code for non-local exits
313b8a7779 Reword
fcb63fa94f Rewording.
Compare 7 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-01 23:36:06 +01:00
90f1791983 Start UNIX example: basic IO.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-10-01 07:36:06 +01:00
1493501193 Reference for UNIX.
6780352ce9 Fix filesystem implementation
aec477f03b File IO
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-30 23:36:06 +01:00
1e5c5c4d0c Examples
8a6ea77186 Tiny UNIX implementation in Links.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-30 15:36:06 +01:00
631eb76f82 References for Lisp, Elisp, and Regular Expressions.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-28 23:36:06 +01:00
d501247ed0 Exception handling example.
2590603f79 Haskell reports
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-27 23:36:06 +01:00
1aac25ed71 Fix typo
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-24 23:36:06 +01:00
4cbd62140a Properly tail-recursive CPS definition.
63c917e533 Tidy up text on tail recursion.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-23 23:36:06 +01:00
36551c5dbf Slight rewording
41c96b56a1 Define tail calls.
e623e1ecd0 References for OCaml, Scheme, and proper tail recursion.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-23 15:36:06 +01:00
471a17dd5d Update intro-text for Section 7.4
de42fdc282 Characterise static administrative redexes
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-22 23:36:06 +01:00
0d349fb56d Define the parity of a continuation
ad548b2fa4 Discussion about continuation deconstruction.
20b2a2acec Rewrite body text of higher order translation for deep handlers.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-09-21 23:36:06 +01:00
bfa58c900c Rewording
65262ce684 Fix typos and other various small improvements.
Compare 2 commits »