dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 02:58:26 +00:00
Code Issues Releases Wiki Activity

Fix typos

Browse Source
This commit is contained in:
Daniel Hillerström
2021-02-17 17:39:40 +00:00
parent 6588c0581c
commit dd0aaa32f6
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
thesis.tex
View File

@@ -4383,7 +4383,7 @@ the programmer, from continuations in continuation passing style
(Chapter~\ref{ch:cps}) and continuations in abstract machines (Chapter~\ref{ch:cps}) and continuations in abstract machines
(Chapter~\ref{ch:abstract-machine}). In the remainder of this (Chapter~\ref{ch:abstract-machine}). In the remainder of this
dissertation I refer to programmatic continuations as `resumptions', dissertation I refer to programmatic continuations as `resumptions',
and reserve the term `continuation' for continuations concerning the and reserve the term `continuation' for continuations concerning
implementation details. implementation details.
\paragraph{Relation to prior work} The deep and shallow handler \paragraph{Relation to prior work} The deep and shallow handler
@@ -5953,7 +5953,7 @@ essential administrative structures for file organisation.
files. In general, a file may have multiple names. Each name is files. In general, a file may have multiple names. Each name is
stored along with a pointer into the i-list. stored along with a pointer into the i-list.
\item The \emph{i-list} is a collection of i-nodes. Each i-node \item The \emph{i-list} is a collection of i-nodes. Each i-node
contains the meta-data for a file along with a pointer into the data contains the meta data for a file along with a pointer into the data
region. region.
\item The \emph{data region} contains the actual file contents. \item The \emph{data region} contains the actual file contents.
\end{enumerate} \end{enumerate}
@@ -6612,7 +6612,7 @@ implementation of \fsname{}.
\bl \bl
\FileIO \defas \{\FileRW;\FileCO;\FileLU\} \medskip\\ \FileIO \defas \{\FileRW;\FileCO;\FileLU\} \medskip\\
\fileIO : (\UnitType \to \alpha \eff \FileIO) \to \alpha \eff \State~\FileSystem \\ \fileIO : (\UnitType \to \alpha \eff \FileIO) \to \alpha \eff \State~\FileSystem \\
\fileIO~m \defas \fileRW\,(\lambda\Unit. \fileAlloc\,(\lambda\Unit.\fileLU\,m)) \fileIO~m \defas \fileRW\,(\lambda\Unit. \fileAlloc\,(\lambda\Unit.\fileLU~m))
\el \el
\] \]
% %