3 Basic concepts
Variables - Syntactic keywords - Regions
Disjointness of types
External representations
Storage model
Tail recursion
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}