[TYPES] Declarative vs imperative

[Uday S Reddy]

Incidentally, Landin rejected the term "declarative" in 1966:

  http://dl.acm.org/citation.cfm?id=365257

and proposed "denotative" as a better description.  At the time of his
writing, imperative programming languages were not "denotative", i.e., no
denotational semantics was known for them.  Strachey fixed that problem soon
afterwards.

Cheers,
Uday