dhil
/
phd-dissertation
mirror of https://github.com/dhil/phd-dissertation
1
0
Fork 0
Code Issues Releases Wiki Activity
434 Commits
1 Branch
0 Tags
76 MiB
Tree: 0e02128d03
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '0e02128d03'
${ noResults }
Commit Graph

434 Commits (0e02128d036dad2518d944878fa98aec3c12a211)
 

Author SHA1 Message Date
Daniel Hillerström 8500ce5796 Notes on J
5 years ago
Daniel Hillerström ae6b233525 A first stab at some typing rules.
5 years ago
Daniel Hillerström 53a2f691c5 Use 'dump' contexts
5 years ago
Daniel Hillerström a75f22eb50 C and F
5 years ago
Daniel Hillerström a656f426b8 Some minor fixes
5 years ago
Daniel Hillerström b92a96bc79 Update reductions
5 years ago
Daniel Hillerström bdb6b31f29 Classification of control operators [WIP].
5 years ago
Daniel Hillerström e058e7804d Add note about call-with-composable-continuation
5 years ago
Daniel Hillerström da0fc108d7 Controlling continuations [WIP]
5 years ago
Daniel Hillerström ab38da7102 Some more references on control operators.
5 years ago
Daniel Hillerström 5e7ce98c0e Some notes on control operators and resumptions.
5 years ago
Daniel Hillerström de8158d6ec Pass through parameterised handlers section
5 years ago
Daniel Hillerström c047b061c7 File system example code.
5 years ago
Daniel Hillerström e2af947cbd Update code
5 years ago
Daniel Hillerström 8700c0f439 File I/O [WIP]
5 years ago
Daniel Hillerström 604e8047f1 Update code
5 years ago
Daniel Hillerström 6038d790f1 Minor fixes
5 years ago
Daniel Hillerström 397c753ce3 Add a some new references, apply minor adjustments to some existing references.
5 years ago
Daniel Hillerström 8889ecb463 More control operator references.
5 years ago
Daniel Hillerström 36f2035003 Control operator references
5 years ago
Daniel Hillerström c707eb769e Fix definition style
5 years ago
Daniel Hillerström 5f7bf83332 Section 2.1 intro
5 years ago
Daniel Hillerström a0ed7d2dfd Rewording
5 years ago
Daniel Hillerström efcdcd49a2 Simplify
5 years ago
Daniel Hillerström e1407b2eab Slight elaboration
5 years ago
Daniel Hillerström 16aff4f445 Rewording
5 years ago
Daniel Hillerström de88350786 Some scribbles on relations and functions.
5 years ago
Daniel Hillerström ba4c2aac96 Dump content
5 years ago
Daniel Hillerström 97e0a787bd Rewording
5 years ago
Daniel Hillerström 9373716166 Add reference on local and global state.
5 years ago
Daniel Hillerström c442a711a9 State
5 years ago
Daniel Hillerström 53c76a0934 Fix macro use
5 years ago
Daniel Hillerström 95244693f4 Interruption via interception, last example.
5 years ago
Daniel Hillerström 003c8e4d6c Dedication.
5 years ago
Daniel Hillerström 5e602afb68 Rewording
5 years ago
Daniel Hillerström 653b1fc56e Interruptions via interceptions
5 years ago
Daniel Hillerström f8c3798cd1 Fix typo
5 years ago
Daniel Hillerström 29798f2c43 Timesharing example.
5 years ago
Daniel Hillerström 1c77c64f83 Shakespeare
5 years ago
Daniel Hillerström 50216c6d8c WIP nondeterminism example.
5 years ago
Daniel Hillerström 11ad068943 Non-blind backtracking reference
5 years ago
Daniel Hillerström 0a40c9d72b Update bibliography
5 years ago
Daniel Hillerström 99b42ee7f1 Move some text around.
5 years ago
Daniel Hillerström 0a13628c16 Declaration, bibliography, and a few other fixes.
5 years ago
Daniel Hillerström 48ed305a8e Revert dedication
5 years ago
Daniel Hillerström 6457753ca6 Something about fork
5 years ago
Daniel Hillerström 837fc51651 fix overflow
5 years ago
Daniel Hillerström ceb74e43a3 User session management example.
5 years ago
Daniel Hillerström f605fb78f2 Putc => Write. Don't mention file descriptors.
5 years ago
Daniel Hillerström e08923dadc Note on dynamic binding.
5 years ago