Differences

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

Link to this comparison view

Both sides previous revision Previous revision
outline [2016/10/15 14:22]
nikolaj
outline [2016/11/27 15:20]
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
Link to graph
Log In
Improvements of the human condition