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

WIP

Browse Source
This commit is contained in:
Daniel Hillerström
2021-05-28 00:11:34 +01:00
parent 4259ddee4d
commit 0c4108cdea
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
thesis.tex
View File

@@ -2333,8 +2333,8 @@ of growth of $f$ is constant.
\section{Typed programming languages} \section{Typed programming languages}
\label{sec:pls} \label{sec:pls}
We will be working mostly with statically typed programming We will be working mostly with statically typed programming
languages. The following definition informally describes the component languages. The following definition informally describes the core
of a programming language. components used to construct a statically typed programming language.
% %
The point here is not to be mathematical rigorous, but rather to give The point here is not to be mathematical rigorous, but rather to give
an idea of what constitutes a programming language. an idea of what constitutes a programming language.