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

Update

Browse Source
This commit is contained in:
Daniel Hillerström
2019-12-13 18:02:02 +00:00
parent 1429a0b940
commit 3d6179970e
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
thesis.tex
View File

@@ -216,9 +216,9 @@ convenience. As we shall see in Chapter~\ref{ch:unary-handlers}
fine-grain call-by-value is a convenient formalism for working with fine-grain call-by-value is a convenient formalism for working with
continuations. Another point of difference between \CoreLinks{} and continuations. Another point of difference between \CoreLinks{} and
\BCalc{} is that the former models the integrated database query \BCalc{} is that the former models the integrated database query
sublanguage of \Links{}. We discard the query sublanguage altogether, sublanguage of \Links{}. We do not consider the query sublanguage at
and instead focus entirely on the interaction with computational all, and instead our focus is entirely on modelling the interaction
effects. and programming with computational effects.
\section{Syntax and static semantics} \section{Syntax and static semantics}
\label{sec:syntax-base-language} \label{sec:syntax-base-language}