At
developer.symbian.org we have several complete books, and
more are coming!
Semantics with Applications: A Formal Introduction (covers
both operational & denotational semantics)
The Implementation of Functional Programming Languages (by
Simon Peyton-Jones, who went on to create GHC. Fascinating
theoretical/principled approach)
How to
Design Programs (introductory programming book intended as a
modernized and somewhat more accessible, e.g. assumes less
math/science/engineering background, alternative to 'Structure
and Interpretation ...'. Like that book, uses Scheme and takes a
functional/compositional approach.)