# Differences

This shows you the differences between two versions of the page.

Both sides previous revision Previous revision | |||

outline [2016/10/15 14:22] nikolaj |
outline [2016/11/27 15:20] (current) nikolaj |
||
---|---|---|---|

Line 4: | Line 4: | ||

Here is an outline structure (work in progress): | Here is an outline structure (work in progress): | ||

+ | === Concepts in the incarnation of a programming language === | ||

+ | * Assume knowledge of integers $-2,-1,0,1,2,3$ with binary operations $+,-,*$. | ||

+ | * More on that languages syntax and examples (which are instances of relevant concepts to be discussed later) | ||

=== Computation and logic (presented bottom-up) === | === Computation and logic (presented bottom-up) === | ||

- | * (Maybe playing around with stuff that a computer evaluates) | ||

* Comment on syntax | * Comment on syntax | ||

* Type theories: Simple type theory $\to$ Polymorphic type theory $\to$ Dependent type theory | * Type theories: Simple type theory $\to$ Polymorphic type theory $\to$ Dependent type theory |